×

Found 105 Documents (Results 1–100)

A classical propositional logic for reasoning about reversible logic circuits. (English) Zbl 1478.68084

Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 52-67 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Alternation-free weighted mu-calculus: decidability and completeness. (English) Zbl 1351.68164

Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 289-313, electronic only (2015).
PDFBibTeX XMLCite
Full Text: DOI

Abstract interpretation as automated deduction. (English) Zbl 1465.68175

Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 450-464 (2015).
PDFBibTeX XMLCite
Full Text: DOI HAL

Adequacy and complete axiomatization for timed modal logic. (English) Zbl 1337.03028

Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 183-210, electronic only (2014).
PDFBibTeX XMLCite
Full Text: DOI

Statistical estimations of lattice-valued possibilistic distributions. (English) Zbl 1341.68258

Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 688-699 (2011).
MSC:  68T37 62G05
PDFBibTeX XMLCite
Full Text: DOI Link

A demonic approach to information in probabilistic systems. (English) Zbl 1254.68167

Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 289-304 (2009).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Possibilistic measures taking their values in spaces given by inclusion-closed fragments of power-sets. (English) Zbl 1245.68216

Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 688-699 (2009).
MSC:  68T37 03E72 06B23
PDFBibTeX XMLCite
Full Text: DOI

Implementing local intervals in CASL. (English) Zbl 1279.68234

Sampaio, Augusto (ed.), Proceedings of the second Brazilian symposium on formal methods (SBMF 2005), Porto Alegre, RS, Brazil, November 30, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 184, 133-149 (2007).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI

Quantifier-free logic for multialgebraic theories. (English) Zbl 1264.03086

de Queiroz, Ruy (ed.) et al., Proceedings of the 10th workshop on logic, language, information and computation (WoLLIC’2003), Ouro Preto, Minas Gerais, Brazil, July 29 – August 1, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 84, 141-153 (2003).
MSC:  03B70 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software