×

Found 319 Documents (Results 1–100)

A quantitative-informational approach to logical consequence. (English) Zbl 1371.03016

Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer (ISBN 978-3-319-15367-4/pbk; 978-3-319-15368-1/ebook). Studies in Universal Logic, 105-124 (2015).
PDFBibTeX XMLCite
Full Text: DOI Link

An exponential-type entropy measure on intuitionistic fuzzy sets. (English) Zbl 1355.03043

Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 14th international conference, ICAISC 2015, Zakopane, Poland, June 14–18, 2015, Proceedings. Part I. Cham: Springer (ISBN 978-3-319-19323-6/pbk; 978-3-319-19324-3/ebook). Lecture Notes in Computer Science 9119. Lecture Notes in Artificial Intelligence, 218-227 (2015).
MSC:  03E72 94A17 94D05
PDFBibTeX XMLCite
Full Text: DOI

Relational reasoning via probabilistic coupling. (English) Zbl 1471.68127

Davis, Martin (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24–28, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9450, 387-401 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs. (English) Zbl 1471.68053

Davis, Martin (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24–28, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9450, 203-218 (2015).
PDFBibTeX XMLCite
Full Text: DOI HAL

Symbolic protocol analysis with disequality constraints modulo equational theories. (English) Zbl 1437.94060

Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 238-261 (2015).
MSC:  94A60 68N30 03C05
PDFBibTeX XMLCite
Full Text: DOI

An equation-based classical logic. (English) Zbl 1465.03069

Paiva, Valeria (ed.) et al., Logic, language, information, and computation. 22nd international workshop, WoLLIC 2015, Bloomington, IN, USA, July 20–23, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9160, 38-52 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Hexagonal logic of the field \(\mathbb{F}_{8}\) as a Boolean logic with three involutive modalities. (English) Zbl 1352.03030

Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer (ISBN 978-3-319-10192-7/pbk; 978-3-319-10193-4/ebook). Studies in Universal Logic, 191-220 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Facets of uncertainties and applications. ICFUA, Kolkata, India, December 2013. Proceedings of the conference. (English) Zbl 1319.90004

Springer Proceedings in Mathematics & Statistics 125. New Delhi: Springer (ISBN 978-81-322-2300-9/hbk; 978-81-322-2301-6/ebook). xiv, 343 p. (2015).
PDFBibTeX XMLCite
Full Text: DOI

Erotetic epistemic logic in private communication protocol. (English) Zbl 1388.03019

Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications (ISBN 978-1-84890-144-5/pbk). 223-238 (2014).
MSC:  03B42 94A05
PDFBibTeX XMLCite

Non-deterministic semantics in polynomial format. (English) Zbl 1335.03012

Fernández, Maribel (ed.) et al., Proceedings of the 8th workshop on logical and semantic frameworks (LSFA 2013), São Paulo, Brazil, September 2–3, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 305, 19-34, electronic only (2014).
MSC:  03B35 03B50 11T06 68T15
PDFBibTeX XMLCite
Full Text: DOI

Asymmetries, irreversibility, and dynamics of time. (English) Zbl 1317.83059

Albeverio, Sergio (ed.) et al., Direction of time. Proceedings of the conference, Bielefeld, Germany, January 14–19, 2002. Cham: Springer (ISBN 978-3-319-02797-5/hbk; 978-3-319-02798-2/ebook). 93-116 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Mathematical logic. Foundations for information science. 2nd revised and extended ed. (English) Zbl 1334.03001

Progress in Computer Science and Applied Logic 25. Basel: Birkhäuser/Springer (ISBN 978-3-0348-0861-3/hbk; 978-3-0348-0862-0/ebook). xiv, 301 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

Categories and types in logic, language, and physics. Essays dedicated to Jim Lambek on the occasion of his 90th birthday. (English) Zbl 1284.03016

Lecture Notes in Computer Science 8222. Berlin: Springer (ISBN 978-3-642-54788-1/pbk). xii, 421 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic relational verification for cryptographic implementations. (English) Zbl 1284.68380

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 193-205 (2014).
MSC:  68Q60 03B70 68N18 68T15 94A60
PDFBibTeX XMLCite
Full Text: DOI

Elementary deduction problem for locally stable theories with normal forms. (English) Zbl 1464.68038

Kesner, Delia (ed.) et al., Proceedings of the seventh workshop on logical and semantic frameworks, with applications, Rio de Janeiro, Brazil, September 29–30, 2012. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 113, 45-60 (2013).
PDFBibTeX XMLCite
Full Text: arXiv Link

Defining privacy is supposed to be easy. (English) Zbl 1407.68147

McMillan, Ken (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14–19, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8312, 619-635 (2013).
MSC:  68P25 03B70 94A60
PDFBibTeX XMLCite
Full Text: DOI

The number that came from the cold. When mathematics becomes an adventure. (Die Zahl, die aus der Kälte kam. Wenn Mathematik zum Abenteuer wird.) (German) Zbl 1401.00010

München: Carl Hanser Verlag (ISBN 978-3-446-43683-1/hbk; 978-3-446-43649-7/ebook). 243 p. (2013).
MSC:  00A09 01A05 97A80 11A41 03F30 94A60
PDFBibTeX XMLCite

Beyond differential privacy: composition theorems and relational logic for \(f\)-divergences between probabilistic programs. (English) Zbl 1335.68043

Fomin, Fedor V. (ed.) et al., Automata, languages, and programming. 40th international colloquium, ICALP 2013, Riga, Latvia, July 8–12, 2013, Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-39211-5/pbk). Lecture Notes in Computer Science 7966, 49-60 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Logical foundations of secure resource management in protocol implementations. (English) Zbl 1390.68075

Basin, David (ed.) et al., Principles of security and trust. Second international conference, POST 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-36829-5/pbk). Lecture Notes in Computer Science 7796, 105-125 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Conflict-driven XOR-clause learning. (English) Zbl 1273.68322

Cimatti, Alessandro (ed.) et al., Theory and applications of satisfiability testing – SAT 2012. 15th international conference, Trento, Italy, June 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31611-1/pbk). Lecture Notes in Computer Science 7317, 383-396 (2012).
MSC:  68T15 03B35 03F20 94A60
PDFBibTeX XMLCite
Full Text: DOI arXiv

A thirty year old conjecture about promise problems. (English) Zbl 1272.68143

Czumaj, Artur (ed.) et al., Automata, languages, and programming. 39th international colloquium, ICALP 2012, Warwick, UK, July 9–13, 2012. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-31593-0/pbk). Lecture Notes in Computer Science 7391, 473-484 (2012).
MSC:  68Q17 03D30 94A60
PDFBibTeX XMLCite
Full Text: DOI

On temporal logic and signal processing. (English) Zbl 1374.68278

Chakraborty, Supratik (ed.) et al., Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). Lecture Notes in Computer Science 7561, 92-106 (2012).
MSC:  68Q60 03B44 94A12
PDFBibTeX XMLCite
Full Text: DOI

A dialogue on the nature of gravity. (English) Zbl 1262.83044

Murugan, Jeff (ed.) et al., Foundations of space and time. Reflections on quantum gravity. Cambridge: Cambridge University Press (ISBN 978-0-521-11440-0/hbk; 978-0-511-92099-8/ebook). 8-49 (2012).
PDFBibTeX XMLCite
Full Text: arXiv

Probabilistic relational Hoare logics for computer-aided security proofs. (English) Zbl 1358.94059

Gibbons, Jeremy (ed.) et al., Mathematics of program construction. 11th international conference, MPC 2012, Madrid, Spain, June 25–27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31112-3/pbk). Lecture Notes in Computer Science 7342, 1-6 (2012).
MSC:  94A60 03B70 68Q60
PDFBibTeX XMLCite
Full Text: DOI HAL

Security protocols, constraint systems, and group theories. (English) Zbl 1358.68185

Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 164-178 (2012).
PDFBibTeX XMLCite
Full Text: DOI HAL

Demonstration of the modified CSN-logic. (English) Zbl 1245.94087

Egri-Nagy, Attila (ed.) et al., Proceedings of the 8th international conference on applied informatics (ICAI 2010), Eger, Hungary, January 27–30, 2010. 2 Volumes. Eger: BVB Nyomda és Kiadó Kft. (ISBN 978-963-9894-72-3/pbk). 135-148 (2012).
MSC:  94A60 03B70 68M12
PDFBibTeX XMLCite

Sets of signals, information flow, and folktales. (English) Zbl 1358.03039

Cooper, S. Barry (ed.) et al., How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18–23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30869-7/pbk). Lecture Notes in Computer Science 7318, 228-236 (2012).
PDFBibTeX XMLCite
Full Text: DOI Link

An axiomatic definition of divergence for intuitionistic fuzzy sets. (English) Zbl 1254.03102

Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) and 17th annual LFA meeting, Aix-Les-Bains, France, July 18–22, 2011. Amsterdam: Atlantis Press (ISBN 9978-90-78677-00-0). Paper No. 80, 547-553 (2011).
MSC:  03E72 94A17
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software