×

Found 582 Documents (Results 1–100)

100
MathJax

Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems. (English) Zbl 07497926

Konev, Boris (ed.) et al., Frontiers of combining systems. 13th international symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12941, 253-270 (2021).
MSC:  68Txx
PDF BibTeX XML Cite
Full Text: DOI

Non axiomatisability of positive relation algebras with constants, via graph homomorphisms. (English) Zbl 07559485

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 29, 16 p. (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Equational logic and categorical semantics for multi-languages. (English) Zbl 07516372

Johann, Patricia (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 352, 79-103 (2020).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Structure of quasivariety lattices. II: Undecidable problems. (English. Russian original) Zbl 1444.08005

Algebra Logic 58, No. 2, 123-136 (2019); translation from Algebra Logika 58, No. 2, 179-199 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Higher-order equational pattern anti-unification. (English) Zbl 1462.68092

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 12, 17 p. (2018).
MSC:  68Q42 03B40 68Q25
PDF BibTeX XML Cite
Full Text: DOI arXiv

Fixed-point constraints for nominal equational unification. (English) Zbl 1462.68089

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 7, 16 p. (2018).
MSC:  68Q42 03B70
PDF BibTeX XML Cite
Full Text: DOI

Program equivalence is coinductive. (English) Zbl 1401.68084

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 337-346 (2016).
MSC:  68Q05 03B70 03C05 68N30
PDF BibTeX XML Cite
Full Text: DOI

Probabilistic \(\mu\)-calculus: decidability and complete axiomatization. (English) Zbl 1434.03072

Lal, Akash (ed.) et al., 36th IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2016), Chennai, India, December 13–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 65, Article 25, 18 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Nominal narrowing. (English) Zbl 1387.68142

Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 11, 17 p. (2016).
MSC:  68Q42 03C05 68N30
PDF BibTeX XML Cite
Full Text: DOI

Locally finite constraint satisfaction problems. (English) Zbl 1394.68186

Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 475-486 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Sound and complete equational reasoning over comodels. (English) Zbl 1351.68078

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, 315-331, electronic only (2015).
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
Full Text: DOI Link

Global semantic typing for inductive and coinductive computing. (English) Zbl 1356.03072

Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 469-483 (2013).
MSC:  03B70 68N30
PDF BibTeX XML Cite
Full Text: DOI

On the solvability of the equational theory of commutative medial \(n\)-ary groupoids. (English. Russian original) Zbl 1302.20069

Discrete Math. Appl. 23, No. 2, 125-143 (2013); translation from Diskretn. Mat. 25, No. 1, 121-143 (2013).
MSC:  20N15 08B05 03B25
PDF BibTeX XML Cite
Full Text: DOI

The algebra of directed acyclic graphs. (English) Zbl 1264.18005

Coecke, Bob (ed.) et al., Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-38163-8/pbk). Lecture Notes in Computer Science 7860, 37-51 (2013).
MSC:  18C50 05C20 16T05 18C10 18D10
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Universal theories for rigid soluble groups. (English. Russian original) Zbl 1263.20034

Algebra Logic 50, No. 6, 539-552 (2012); translation from Algebra Logika 50, No. 6, 802-821 (2011).
PDF BibTeX XML Cite
Full Text: DOI

Unification modulo synchronous distributivity. (English) Zbl 1358.03026

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, 14-29 (2012).
PDF BibTeX XML Cite
Full Text: DOI

Just do it: simple monadic equational reasoning. (English) Zbl 1323.68207

Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 2-14 (2011).
MSC:  68N30 68N18 68Q65
PDF BibTeX XML Cite
Full Text: DOI

FAST: an efficient decision procedure for deduction and static equivalence. (English) Zbl 1236.94073

Schmid-Schauß, Manfred (ed.), 22nd international conference on rewriting techniques and applications (RTA 2011), Novi Sad, Serbia, May 30 – June 1, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-30-9). LIPIcs – Leibniz International Proceedings in Informatics 10, 11-20, electronic only (2011).
MSC:  94A62 68Q42
PDF BibTeX XML Cite
Full Text: DOI Link

Nominal Lawvere theories. (English) Zbl 1326.68087

Beklemishev, Lev D. (ed.) et al., Logic, language, information and computation. 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18–20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20919-2/pbk). Lecture Notes in Computer Science 6642. Lecture Notes in Artificial Intelligence, 67-83 (2011).
PDF BibTeX XML Cite
Full Text: DOI

Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere. (English) Zbl 1209.18001

Cambridge Tracts in Mathematics 184. Cambridge: Cambridge University Press (ISBN 978-0-521-11922-1/hbk). xvii, 249 p. (2011).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software