×

Found 605 Documents (Results 1–100)

Tensor of quantitative equational theories. (English) Zbl 07774233

Gadducci, Fabio (ed.) et al., 9th conference on algebra and coalgebra in computer science, CALCO 2021, Salzburg, Austria, August 31 – September 3, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 211, Article 7, 17 p. (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

A homological condition on equational unifiability. (English) Zbl 07724234

Bonchi, Filippo (ed.) et al., 46th international symposium on mathematical foundations of computer science, MFCS 2021, August 23–27, 2021, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 202, Article 61, 16 p. (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Graph characterization of the universal theory of relations. (English) Zbl 07724214

Bonchi, Filippo (ed.) et al., 46th international symposium on mathematical foundations of computer science, MFCS 2021, August 23–27, 2021, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 202, Article 41, 15 p. (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Non-axiomatizability of the equational theories of positive relation algebras (Invited Talk). (English) Zbl 07724174

Bonchi, Filippo (ed.) et al., 46th international symposium on mathematical foundations of computer science, MFCS 2021, August 23–27, 2021, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 202, Article 1, 1 p. (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

A modular associative commutative (AC) congruence closure algorithm. (English) Zbl 07700620

Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 15, 21 p. (2021).
MSC:  68-XX 03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
Full Text: DOI

Decidability of equational theories for subsignatures of relation algebra. (English) Zbl 1522.03341

Desharnais, Jules (ed.) et al., Relational and algebraic methods in computer science. 17th international conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11194, 87-96 (2018).
MSC:  03G15 03B25 03C05
PDFBibTeX XMLCite
Full Text: DOI Link

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
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
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).
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

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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software