A finite algebraic presentation of Lawvere theories in the object-classifier topos. arXiv:2408.08980
Preprint, arXiv:2408.08980 [math.CT] (2024).
Found 269 Documents (Results 1–100)
A Polynomial Construction of Nerves for Higher Categories. arXiv:2405.13157
Preprint, arXiv:2405.13157 [math.CT] (2024).
The nerve theorem for relative monads. arXiv:2404.01281
Preprint, arXiv:2404.01281 [math.CT] (2024).
Relativized universal algebra via partial Horn logic. arXiv:2403.19661
Preprint, arXiv:2403.19661 [math.CT] (2024).
Diagrammatic presentations of enriched monads and varieties for a subcategory of arities. (English) Zbl 1532.18004
Reviewer: Timothy Porter (Llandegfan)
Relative monadicity. arXiv:2305.10405
Preprint, arXiv:2305.10405 [math.CT] (2023).
Birkhoff’s variety theorem for relative algebraic theories. arXiv:2304.04382
Preprint, arXiv:2304.04382 [math.CT] (2023).
Presentations and algebraic colimits of enriched monads for a subcategory of arities. (English) Zbl 1505.18008
Reviewer: Hirokazu Nishimura (Tsukuba)
The costructure-cosemantics adjunction for comodels for computational effects. (English) Zbl 1506.68051
Bifold algebras and commutants for enriched algebraic theories. (English) Zbl 1502.18010
Reviewer: Hirokazu Nishimura (Tsukuba)
A monad for probabilistic point processes. (English) Zbl 1477.60074
Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 19-32 (2021).
Steps and traces. (English) Zbl 1509.18003
Relating structure and power: comonadic semantics for computational resources. (English) Zbl 1509.03097
An algebraic approach to the completions of elementary doctrines. arXiv:2108.03415
Preprint, arXiv:2108.03415 [math.CT] (2021).
Large limit sketches and topological space objects. arXiv:2106.11115
Preprint, arXiv:2106.11115 [math.CT] (2021).
Combinatorial approach to the category \(\Theta_0\) of cubical pasting diagrams. arXiv:2102.09787
Preprint, arXiv:2102.09787 [math.CT] (2021).
Hausdorff coalgebras. (English) Zbl 1464.18009
Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur)
The existential completion. (English) Zbl 1446.18007
Reviewer: Hirokazu Nishimura (Tsukuba)
A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics. (English) Zbl 1505.60004
Local presentability of certain comma categories. (English) Zbl 1432.18005
Reviewer: Hirokazu Nishimura (Tsukuba)
The \(\omega\)-categorification of Algebraic Theories. arXiv:2006.07191
Preprint, arXiv:2006.07191 [math.CT] (2020).
Quantifier completions, choice principles and applications. arXiv:2010.09111
Preprint, arXiv:2010.09111 [math.CT] (2020).
Modular specification of monads through higher-order presentations. (English) Zbl 07559272
Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 6, 19 p. (2019).
Cellular monads from positive GSOS specifications. (English) Zbl 1543.68182
Pérez, Jorge A. (ed.) et al., Proceedings of the combined 26th international workshop on expressiveness in concurrency and 16th workshop on structural operational semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, August 26, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 300, 1-18 (2019).
A note on internal object action representability of 1-cat groups and crossed modules. (English) Zbl 1423.18029
Uniform inductive reasoning in transitive closure logic via infinite descent. (English) Zbl 1528.03186
Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 17, 16 p. (2018).
Relating structure and power: comonadic semantics for computational resources. (English) Zbl 1509.03098
Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 2, 17 p. (2018).
Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics. (English) Zbl 1527.68041
Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 239-260 (2018).
Relating idioms, arrows and monads from monoidal adjunctions. (English) Zbl 1525.68044
Atkey, Robert (ed.) et al., Proceedings of the 7th workshop on mathematically structured functional programming, MSFP 2018, Oxford, UK, July 8, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 275, 18-33 (2018).
A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves. (English) Zbl 1520.68054
Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 25, 18 p. (2018).
A semantics for hybrid iteration. (English) Zbl 1520.68028
Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 22, 17 p. (2018).
Book review of: B. Jacobs, Introduction to coalgebra. Towards mathematics of states and observation. (Dutch) Zbl 1409.00055
Layer by layer – combining monads. (English) Zbl 1518.68199
Fischer, Bernd (ed.) et al., Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11187, 153-172 (2018).
Steps and traces. (English) Zbl 1509.18002
Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 122-143 (2018).
Relating structure and power: comonadic semantics for computational resources (extended abstract). (English) Zbl 1509.03096
Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 1-5 (2018).
Distributive laws for monotone specifications. (English) Zbl 1483.68182
Peters, Kirstin (ed.) et al., Proceedings of the combined 24th international workshop on expressiveness in concurrency and 14th workshop on structural operational semantics, EXPRESS/SOS 2017, Berlin, Germany, September 4, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 255, 83-97 (2017).
A monad for full ground reference cells. (English) Zbl 1458.68122
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 49, 12 p. (2017).
Variations on inductive-recursive definitions. (English) Zbl 1445.03010
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 63, 13 p. (2017).
Discrete random variables over domains, revisited. (English) Zbl 1485.68148
Gibson-Robinson, Thomas (ed.) et al., Concurrency, security, and puzzles. Essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10160, 185-202 (2017).
Functional distribution monads in functional-analytic contexts. (English) Zbl 1402.46052
Reviewer: Sven-Ake Wegner (Middlesbrough)
Introduction to coalgebra. Towards mathematics of states and observation. (English) Zbl 1364.68001
Cambridge Tracts in Theoretical Computer Science 59. Cambridge: Cambridge University Press (ISBN 978-1-107-17789-5/hbk; 978-1-316-82318-7/ebook). xvi, 477 p. (2017).
Reviewer: Ernst-Erich Doberkat (Dortmund)
Directed containers as categories. (English) Zbl 1477.68169
Atkey, Robert (ed.) et al., Proceedings of the sixth workshop on mathematically structured functional programming, MSFP 2016, Eindhoven, Netherlands, April 8, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 207, 89-98 (2016).
Eilenberg-Moore monoids and backtracking monad transformers. (English) Zbl 1477.18013
Atkey, Robert (ed.) et al., Proceedings of the sixth workshop on mathematically structured functional programming, MSFP 2016, Eindhoven, Netherlands, April 8, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 207, 23-56 (2016).
Approximate relational Hoare logic for continuous random samplings. (English) Zbl 1401.68206
Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 277-298 (2016).
A monad for randomized algorithms. (English) Zbl 1395.68178
Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 47-62 (2016).
A modal logic of indiscernibility. (English) Zbl 1356.81040
Aerts, Diederik (ed.) et al., Probing the meaning of quantum mechanics. Superpositions, dynamics, semantics and identity. Based on the first international meeting on quantum mechanics and quantum information: physical, philosophical and logical approaches, Cagliari, Italy, July 23– 25, 2014. Hackensack, NJ: World Scientific (ISBN 978-981-3146-27-3/hbk; 978-981-3146-29-7/ebook). 259-279 (2016).
Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets. (English) Zbl 1375.18029
A two-dimensional Birkhoff’s theorem. (English) Zbl 1339.18001
Reviewer: Jiří Rosický (Brno)
Enhanced coalgebraic bisimulation. (English) Zbl 1380.68300
Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur)
Codensity liftings of monads. (English) Zbl 1366.68157
Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-84-2). LIPIcs – Leibniz International Proceedings in Informatics 35, 156-170 (2015).
Presenting distributive laws. (English) Zbl 1448.68324
Monads of regular theories. (English) Zbl 1316.18007
Reviewer: Václav Koubek (Praha)
Generalized Płonka sums and products. (English) Zbl 1339.18002
Reviewer: Răzvan Diaconescu (Ploiesti)
Distributive laws and decidable properties of SOS specifications. (English) Zbl 1464.68191
Borgström, Johannes (ed.) et al., Proceedings of the combined 21st international workshop on expressiveness in concurrency and 11th workshop on structural operational semantics, EXPRESS/SOS 2014, Rome, Italy, September 1, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 160, 79-93 (2014).
Theories of analytic monads. (English) Zbl 1342.18006
Dijkstra monads in monadic computation. (English) Zbl 1331.68052
Bonsangue, M. (ed.), Coalgebraic methods in computer science. 12th IFIP WG 1.3 international workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014. Revised selected papers. Berlin: Springer (ISBN 978-3-662-44123-7/pbk; 978-3-662-44124-4/ebook). Lecture Notes in Computer Science 8446, 135-150 (2014).
On coalgebras with internal moves. (English) Zbl 1445.68135
Bonsangue, M. (ed.), Coalgebraic methods in computer science. 12th IFIP WG 1.3 international workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8446, 75-97 (2014).
Generic weakest precondition semantics from monads enriched with order. (English) Zbl 1331.68051
Bonsangue, M. (ed.), Coalgebraic methods in computer science. 12th IFIP WG 1.3 international workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014. Revised selected papers. Berlin: Springer (ISBN 978-3-662-44123-7/pbk; 978-3-662-44124-4/ebook). Lecture Notes in Computer Science 8446, 10-32 (2014).
Lifting homotopy \(T\)-algebra maps to strict maps. (English) Zbl 1306.55006
Reviewer: Martin Frankland (London)
Local states in string diagrams. (English) Zbl 1416.68110
Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 334-348 (2014).
Lawvere theories, finitary monads and Cauchy-completion. (English) Zbl 1329.18008
Reviewer: Sergejs Solovjovs (Brno)
Parametric effect monads and semantics of effect systems. (English) Zbl 1284.68133
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). 633-645 (2014).
Linear usage of state. (English) Zbl 1326.68070
Notions of monad strength. (English) Zbl 1464.68086
Banerjee, Anindya (ed.) et al., Semantics, abstract interpretation, and reasoning about programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, September 19–20, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 129, 67-83 (2013).
Instances of computational effects: an algebraic perspective. (English) Zbl 1368.68183
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 519-528 (2013).
Monads for behaviour. (English) Zbl 1334.68050
Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 309-324 (2013).
An equational metalogic for monadic equational systems. (English) Zbl 1287.18005
Reviewer: Jiří Rosický (Brno)
Exploring the boundaries of monad tensorability on Set. (English) Zbl 1287.18004
Reviewer: Juan Climent Vidal (València)
Trace semantics via generic observations. (English) Zbl 1394.68218
Heckel, Reiko (ed.) et al., Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40205-0/pbk). Lecture Notes in Computer Science 8089, 158-174 (2013).
Presenting distributive laws. (English) Zbl 1394.68238
Heckel, Reiko (ed.) et al., Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40205-0/pbk). Lecture Notes in Computer Science 8089, 95-109 (2013).
An algebraic presentation of predicate logic (extended abstract). (English) Zbl 1260.68116
Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 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-37074-8/pbk). Lecture Notes in Computer Science 7794, 401-417 (2013).
Coproducts of monads on Set. (English) Zbl 1364.18001
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 45-54 (2012).
Monads with arities and their associated theories. (English) Zbl 1256.18004
Reviewer: Juan Climent Vidal (València)
A connection between clone theory and FCA provided by duality theory. (English) Zbl 1360.08002
Domenach, Florent (ed.) et al., Formal concept analysis. 10th international conference, ICFCA 2012, Leuven, Belgium, May 7–10, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29891-2/pbk). Lecture Notes in Computer Science 7278. Lecture Notes in Artificial Intelligence, 148-163 (2012).
Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems. (English) Zbl 1244.93019
MSC:
93A30
93A15
Bialgebras for structural operational semantics: an introduction. (English) Zbl 1246.68150
Reviewer: Lutz Schröder (Bremen)
On second-order iterative monads. (English) Zbl 1243.68206
Reviewer: Lutz Schröder (Bremen)
A counterexample to tensorability of effects. (English) Zbl 1287.18006
Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 208-221 (2011).
Special issue: CMCS tenth anniversary meeting. Selected papers based on the presentations at the workshop on coalgebraic methods in computer science (CMCS), Paphos, Cypern, March 26–28, 2010. (English) Zbl 1254.68032
Algebraic separation logic. (English) Zbl 1260.03060
Reviewer: Damas Gruska (Bratislava)
Filter Results by …
Document Type
- Journal Articles (153)
- Collection Articles (91)
- Books (14)
- arXiv Preprints (11)
all
top 5
Author
- Power, John (13)
- Milius, Stefan (10)
- Adámek, Jiří (9)
- Jacobs, Bart (8)
- Goncharov, Sergeĭ Savost’yanovich (6)
- Lair, Christian (6)
- Levy, Paul Blain (6)
- Rot, Jurriaan (6)
- Velebil, Jiří (6)
- Lucyshyn-Wright, Rory B. B. (5)
- Staton, Sam (5)
- Hyland, J. Martin E. (4)
- Schröder, Lutz (4)
- Silva, Alexandra (4)
- Abramsky, Samson (3)
- Barr, Michael (3)
- Bonsangue, Marcello Maria (3)
- Ghani, Neil (3)
- Katsumata, Shin-ya (3)
- Kelly, Gregory Maxwell (3)
- Kurz, Alexander (3)
- McDermott, Dylan (3)
- Mulry, Philip S. (3)
- Piróg, Maciej (3)
- Plotkin, Gordon D. (3)
- Robinson, Edmund P. (3)
- Rosický, Jiří (3)
- Shah, Nihil (3)
- Trotta, Davide (3)
- Uustalu, Tarmo (3)
- Zawadowski, Marek (3)
- Ageron, Pierre (2)
- Ahrens, Benedikt (2)
- Arkor, Nathanael (2)
- Bonchi, Filippo (2)
- Borceux, Francis (2)
- Bowler, Nathan (2)
- Brengos, Tomasz (2)
- Brookes, Stephen D. (2)
- Burroni, Elisabeth (2)
- Cohen, Liron (2)
- Coppey, Laurent (2)
- Day, Brian John (2)
- Diers, Yves (2)
- Dubois, Didier (2)
- Fernandez Rodriguez, Rosa M. (2)
- Fiore, Marcelo P. (2)
- Garner, Richard (2)
- Geva, Shai (2)
- Goubault-Larrecq, Jean (2)
- Hansen, Helle Hvid (2)
- Harper, Robert (2)
- Hasuo, Ichiro (2)
- Hofmann, Dirk (2)
- Kammar, Ohad (2)
- Kawase, Yuto (2)
- Klin, Bartek (2)
- Lack, Stephen (2)
- Launchbury, John (2)
- Lesaffre, Brigitte (2)
- Manes, Ernie G. (2)
- Montagna, Franco (2)
- Moss, Lawrence S. (2)
- Parker, Jason T. (2)
- Prade, Henri M. (2)
- Rowe, Reuben N. S. (2)
- Rutten, Jan J. M. M. (2)
- Sato, Tetsuya (2)
- Simpson, Alex K. (2)
- Szawiel, Stanisław (2)
- Venema, Yde (2)
- Wadler, Philip Lee (2)
- Winskel, Glynn (2)
- Aceto, Luca (1)
- Aczel, Peter (1)
- Ahman, Danel (1)
- Aiguier, Marc (1)
- Arenhart, Jonas Rafael Becker (1)
- Bahamonde, Antonio (1)
- Balan, Adriana (1)
- Banach, Richard (1)
- Barbuti, Roberto (1)
- Barker, Tyler (1)
- Běhounek, Libor (1)
- Bellin, Gianluigi (1)
- Benson, David B. (1)
- Benton, Nick (1)
- Benveniste, Albert (1)
- Berger, Clemens (1)
- Bergman, George M. (1)
- Blelloch, Guy E. (1)
- Bloom, Stephen L. (1)
- Bourke, Timothy (1)
- Brandenburg, Martin (1)
- Braüner, Torben (1)
- Bressie, Phillip M (1)
- Brol’, V. V. (1)
- Bucalo, Anna (1)
- Bukatin, Michael A. (1)
- Burstall, Rod M. (1)
- and 198 more Authors
all
top 5
Serial
- Theor. Comput. Sci. (15)
- Theory Appl. Categ. (11)
- Appl. Categ. Struct. (9)
- Inf. Comput. (8)
- Math. Struct. Comput. Sci. (8)
- J. Pure Appl. Algebra (7)
- Log. Methods Comput. Sci. (5)
- Adv. Math. (3)
- Cah. Topologie Géom. Différ. Catégoriques (3)
- Sci. Comput. Program. (3)
- J. Log. Comput. (3)
- J. Log. Algebr. Program. (3)
- C. R. Acad. Sci., Paris, Sér. A (3)
- Bull. Aust. Math. Soc. (2)
- Algebra Univers. (2)
- Fundam. Math. (2)
- J. Algebra (2)
- J. Korean Math. Soc. (2)
- Notre Dame J. Formal Logic (2)
- Stud. Log. (2)
- Z. Math. Logik Grundlagen Math. (2)
- Ann. Pure Appl. Logic (2)
- J. Autom. Reasoning (2)
- Diagrammes (2)
- J. Funct. Program. (2)
- Homology Homotopy Appl. (2)
- Theor. Inform. Appl. (2)
- ACM Trans. Comput. Log. (2)
- Acta Inf. (1)
- Arch. Ration. Mech. Anal. (1)
- Commun. Algebra (1)
- Inf. Process. Lett. (1)
- Appl. Math. Comput. (1)
- Arch. Math. (1)
- Arch. Math. (Brno) (1)
- Bull. Lond. Math. Soc. (1)
- Dialectica (1)
- Fuzzy Sets Syst. (1)
- J. Comput. Syst. Sci. (1)
- J. Philos. Log. (1)
- J. Sov. Math. (1)
- J. Symb. Log. (1)
- Kyungpook Math. J. (1)
- Log. Anal., Nouv. Sér. (1)
- Math. Syst. Theory (1)
- Rend. Ist. Mat. Univ. Trieste (1)
- Semigroup Forum (1)
- Synthese (1)
- Zesz. Nauk. Wydz. Mat. Fiz. Chem., Mat., Gdańsk (1)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (1)
- Comput. Artif. Intell. (1)
- J. Symb. Comput. (1)
- Formal Asp. Comput. (1)
- Autom. Remote Control (1)
- J. Aust. Math. Soc., Ser. A (1)
- Bol. Soc. Parana. Mat., II. Sér. (1)
- J. Logic Lang. Inf. (1)
- J. Appl. Non-Class. Log. (1)
- Topol. Proc. (1)
- Math. Log. Q. (1)
- J. Artif. Intell. Res. (JAIR) (1)
- Nieuw Arch. Wiskd. (5) (1)
- Repr. Theory Appl. Categ. (1)
- Cah. Topol. Géom. Différ. Catég. (1)
- Iran. J. Fuzzy Syst. (1)
- Alxebra (1)
- Camb. Tracts Theor. Comput. Sci. (1)
- Grad. Texts Math. (1)
- Grundlehren Math. Wiss. (1)
- Lect. Notes Ser., Aarhus Univ. (1)
- Appl. Log. Ser. (1)
- Diss. Math. Univ. Tartu. (1)
- J. Log. Algebr. Methods Program. (1)
- Undergraduate Texts Math. (1)
- Handb. Philos. Logic (1)
all
top 5
Year of Publication
- 2024 (4)
- 2023 (4)
- 2022 (4)
- 2021 (8)
- 2020 (9)
- 2019 (5)
- 2018 (11)
- 2017 (6)
- 2016 (8)
- 2015 (9)
- 2014 (11)
- 2013 (9)
- 2012 (6)
- 2011 (9)
- 2010 (6)
- 2009 (4)
- 2008 (4)
- 2007 (7)
- 2006 (12)
- 2005 (4)
- 2004 (5)
- 2003 (4)
- 2002 (9)
- 2001 (5)
- 2000 (4)
- 1999 (2)
- 1998 (4)
- 1997 (4)
- 1996 (5)
- 1995 (4)
- 1994 (3)
- 1993 (3)
- 1992 (4)
- 1991 (5)
- 1990 (4)
- 1989 (3)
- 1988 (2)
- 1987 (2)
- 1986 (3)
- 1985 (8)
- 1984 (1)
- 1983 (4)
- 1982 (8)
- 1981 (3)
- 1980 (1)
- 1979 (4)
- 1978 (4)
- 1977 (3)
- 1976 (5)
- 1975 (6)
- 1974 (2)
- 1973 (2)
- 1970 (2)
- 1969 (1)
all
top 3
Software
- Haskell (5)
- Coq (3)
- LCF (3)
- Esterel (2)
- LUSTRE (2)
- ML (2)
- Ynot (2)
- ACL2 (1)
- ALF (1)
- ALGOL 60 (1)
- ALGOL 68 (1)
- ATERM (1)
- Bio-PEPA (1)
- BlenX (1)
- CLEAN (1)
- Church (1)
- CompCert (1)
- CompCertTSO (1)
- Eff (1)
- Epigram (1)
- Euler (1)
- Facile (1)
- Flocq (1)
- Forsythe (1)
- HOPLA (1)
- Lava (1)
- Mace4 (1)
- Mercury (1)
- Modelica (1)
- PVS (1)
- Prover9 (1)
- SUNDIALS (1)
- Scicos (1)
- Scilab (1)
- Separoids (1)
- Toolchain (1)
- UniMath (1)
- Waldmeister (1)
- cubicaltt (1)
- pipes (1)
