Search results for "Coalgebra"

Hits ?▲	Authors	Title	Venue	Year	Link
23	Nick Bezhanishvili, Sebastian Enqvist, Jim de Groot	Duality for Instantial Neighbourhood Logic via Coalgebra.	CMCS	2020	DBLP DOI BibTeX RDF
23	Jirí Adámek	Approximate Coalgebra Homomorphisms and Approximate Solutions.	CMCS	2020	DBLP DOI BibTeX RDF
23	Simone Barlocco, Clemens Kupke, Jurriaan Rot	Coalgebra Learning via Duality.	CoRR	2019	DBLP BibTeX RDF
23	Tomasz Brengos, Marco Peressotti	Two modes of recognition: algebra, coalgebra, and languages.	CoRR	2019	DBLP BibTeX RDF
23	Michele Boreale	Algebra, coalgebra, and minimization in polynomial differential equations.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
23	Jean-Simon Pacaud Lemay	Lifting Coalgebra Modalities and MELL Model Structure to Eilenberg-Moore Categories.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
23	Simone Barlocco, Clemens Kupke, Jurriaan Rot	Coalgebra Learning via Duality.	FoSSaCS	2019	DBLP DOI BibTeX RDF
23	Michele Boreale	On the Coalgebra of Partial Differential Equations.	MFCS	2019	DBLP DOI BibTeX RDF
23	Markus Roggenbach, Ana Sokolova (eds.)	8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom.	CALCO	2019	DBLP BibTeX RDF
23	Graham Campbell 0001, Brian Courtehoute, Detlef Plump	Linear-Time Graph Algorithms in GP 2.	CALCO	2019	DBLP DOI BibTeX RDF
23	Damien Pous	Coinduction: Automata, Formal Proof, Companions (Invited Paper).	CALCO	2019	DBLP DOI BibTeX RDF
23	Nick Bezhanishvili, Jim de Groot, Yde Venema	Coalgebraic Geometric Logic.	CALCO	2019	DBLP DOI BibTeX RDF
23	Stefan Milius	From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper).	CALCO	2019	DBLP DOI BibTeX RDF
23	Filippo Bonchi, Jens Seeber, Pawel Sobocinski 0001	The Axiom of Choice in Cartesian Bicategories.	CALCO	2019	DBLP DOI BibTeX RDF
23	Jirí Adámek	On Terminal Coalgebras Derived from Initial Algebras.	CALCO	2019	DBLP DOI BibTeX RDF
23	Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva 0001	Tree Automata as Algebras: Minimisation and Determinisation.	CALCO	2019	DBLP DOI BibTeX RDF
23	Samuel Balco, Alexander Kurz 0001	Nominal String Diagrams.	CALCO	2019	DBLP DOI BibTeX RDF
23	Mihai Codescu	Hybridisation of Institutions in HETS (Tool Paper).	CALCO	2019	DBLP DOI BibTeX RDF
23		Front Matter, Table of Contents, Preface, Conference Organization.	CALCO	2019	DBLP DOI BibTeX RDF
23	Tao Gu, Fabio Zanasi	A Coalgebraic Perspective on Probabilistic Logic Programming.	CALCO	2019	DBLP DOI BibTeX RDF
23	Astrid Belder, Bas Luttik, Jos C. M. Baeten	Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity.	CALCO	2019	DBLP DOI BibTeX RDF
23	Xiaohong Chen 0002, Grigore Rosu	Matching mu-Logic: Foundation of K Framework (Invited Paper).	CALCO	2019	DBLP DOI BibTeX RDF
23	Danel Ahman, Tarmo Uustalu	Decomposing Comonad Morphisms.	CALCO	2019	DBLP DOI BibTeX RDF
23	Vincenzo Ciancia, Yde Venema	Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages.	CALCO	2019	DBLP DOI BibTeX RDF
23	Henning Basold	Coinduction in Flow: The Later Modality in Fibrations.	CALCO	2019	DBLP DOI BibTeX RDF
23	Stefano Gogioso	A Diagrammatic Approach to Quantum Dynamics.	CALCO	2019	DBLP DOI BibTeX RDF
23	Marc de Visme, Glynn Winskel	Causal Unfoldings.	CALCO	2019	DBLP DOI BibTeX RDF
23	Pawel Sobocinski 0001, Paul W. Wilson 0002, Fabio Zanasi	CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper).	CALCO	2019	DBLP DOI BibTeX RDF
23	Paul Blain Levy, Sergey Goncharov 0001	Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot.	CALCO	2019	DBLP DOI BibTeX RDF
23	Mehrnoosh Sadrzadeh	Principles of Natural Language, Logic, and Tensor Semantics (Invited Paper).	CALCO	2019	DBLP DOI BibTeX RDF
23	Jean-Simon Lemay	Lifting Coalgebra Modalities and MELL Model Structure to Eilenberg-Moore Categories.	CoRR	2018	DBLP BibTeX RDF
23	Xinxin Liu, Xiaofeng Wang	A Representation Method and Optimization of Network Flow Based on Coalgebra.	SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI	2018	DBLP DOI BibTeX RDF
23	Jean-Simon Pacaud Lemay	Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories.	FSCD	2018	DBLP DOI BibTeX RDF
23	Dusko Pavlovic, Bertfried Fauser	Smooth coalgebra: testing vector analysis.	Math. Struct. Comput. Sci.	2017	DBLP DOI BibTeX RDF
23	Michele Boreale	Algebra, coalgebra, and minimization in polynomial differential equations.	CoRR	2017	DBLP BibTeX RDF
23	Ekaterina Komendantskaya, John Power (eds.)	Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, CoALP-Ty 2016, Edinburgh, UK, 28-29 November 2016.	CoALP-Ty	2017	DBLP BibTeX RDF
23	Michele Boreale	Algebra, Coalgebra, and Minimization in Polynomial Differential Equations.	FoSSaCS	2017	DBLP DOI BibTeX RDF
23	Filippo Bonchi, Barbara König 0001 (eds.)	7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia	CALCO	2017	DBLP BibTeX RDF
23	Zeinab Bakhtiarinoodeh	The Dynamics of Incomplete and Inconsistent Information : Applications of logic, algebra and coalgebra. (La dynamique de l'information incomplète et incohérente : applications de la logique, de l'algèbre et de la coalgèbre).		2017	RDF
23		Front Matter, Table of Contents, Preface, List of Authors.	CALCO	2017	DBLP DOI BibTeX RDF
23	Corina Cîrstea, Shunsuke Shimizu, Ichiro Hasuo	Parity Automata for Quantitative Linear Time Logics.	CALCO	2017	DBLP DOI BibTeX RDF
23	Thomas Colcombet, Daniela Petrisan	Automata Minimization: a Functorial Approach.	CALCO	2017	DBLP DOI BibTeX RDF
23	Fatemeh Seifan, Lutz Schröder, Dirk Pattinson	Uniform Interpolation in Coalgebraic Modal Logic.	CALCO	2017	DBLP DOI BibTeX RDF
23	Dan Marsden, Fabrizio Genovese	Custom Hypergraph Categories via Generalized Relations.	CALCO	2017	DBLP DOI BibTeX RDF
23	Brendan Fong, Fabio Zanasi	A Universal Construction for (Co)Relations.	CALCO	2017	DBLP DOI BibTeX RDF
23	David Reutter, Jamie Vicary	A Classical Groupoid Model for Quantum Networks.	CALCO	2017	DBLP DOI BibTeX RDF
23	Harsh Beohar, Sebastian Küpper	On Path-Based Coalgebras and Weak Notions of Bisimulation.	CALCO	2017	DBLP DOI BibTeX RDF
23	Alex Simpson	Probability Sheaves and the Giry Monad.	CALCO	2017	DBLP DOI BibTeX RDF
23	Stefan Milius	Proper Functors and their Rational Fixed Point.	CALCO	2017	DBLP DOI BibTeX RDF
23	Clovis Eberhart, Tom Hirschowitz	Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics.	CALCO	2017	DBLP DOI BibTeX RDF
23	Kenta Cho 0002, Bart Jacobs 0001	The EfProb Library for Probabilistic Calculations.	CALCO	2017	DBLP DOI BibTeX RDF
23	Tomas Jakl, Achim Jung	Free Constructions and Coproducts of d-Frames.	CALCO	2017	DBLP DOI BibTeX RDF
23	William John Gowers, James Laird	Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics.	CALCO	2017	DBLP DOI BibTeX RDF
23	Zeinab Bakhtiari, Helle Hvid Hansen	Bisimulation for Weakly Expressive Coalgebraic Modal Logics.	CALCO	2017	DBLP DOI BibTeX RDF
23	Alessandro Gianola, Stefano Kasangian, Nicoletta Sabadini	Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks.	CALCO	2017	DBLP DOI BibTeX RDF
23	Henning Urbat	Finite Behaviours and Finitary Corecursion.	CALCO	2017	DBLP DOI BibTeX RDF
23	Ana Sokolova, Harald Woracek	Termination in Convex Sets of Distributions.	CALCO	2017	DBLP DOI BibTeX RDF
23	Fredrik Dahlqvist, Alexander Kurz 0001	The Positivication of Coalgebraic Logics.	CALCO	2017	DBLP DOI BibTeX RDF
23	Sebastian Enqvist, Yde Venema	Disjunctive Bases: Normal Forms for Modal Logics.	CALCO	2017	DBLP DOI BibTeX RDF
23	Jirí Adámek, Stefan Milius	On Corecursive Algebras for Functors Preserving Coproducts.	CALCO	2017	DBLP DOI BibTeX RDF
23	David Reutter, Jamie Vicary	A 2-Categorical Approach to Composing Quantum Structures.	CALCO	2017	DBLP DOI BibTeX RDF
23	David Sprunger, Lawrence S. Moss	Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence.	CALCO	2017	DBLP DOI BibTeX RDF
23	Harald König, Uwe Wolter	Being Van Kampen in Presheaf Topoi is a Uniqueness Property.	CALCO	2017	DBLP DOI BibTeX RDF
23	Alexander Knapp, Till Mossakowski	UML Interactions Meet State Machines - An Institutional Approach.	CALCO	2017	DBLP DOI BibTeX RDF
23	Henning Basold, Damien Pous, Jurriaan Rot	Monoidal Company for Accessible Functors.	CALCO	2017	DBLP DOI BibTeX RDF
23	Bart Jacobs 0001	Introduction to Coalgebra: Towards Mathematics of States and Observation		2016	DOI RDF
23	Bashar Igried, Anton Setzer	Trace and Stable Failures Semantics for CSP-Agda.	CoALP-Ty	2016	DBLP DOI BibTeX RDF
23	Yue Li 0021	Structural Resolution with Co-inductive Loop Detection.	CoALP-Ty	2016	DBLP DOI BibTeX RDF
23	Luca Franceschini, Davide Ancona, Ekaterina Komendantskaya	Structural Resolution for Abstract Compilation of Object-Oriented Languages.	CoALP-Ty	2016	DBLP DOI BibTeX RDF
23	Davide Ancona, Francesco Dagnino, Elena Zucca	Extending Coinductive Logic Programming with Co-Facts.	CoALP-Ty	2016	DBLP DOI BibTeX RDF
23	Johannes Marti, Yde Venema	Lax extensions of coalgebra functors and their logic.	J. Comput. Syst. Sci.	2015	DBLP DOI BibTeX RDF
23	Baltasar Trancón y Widemann, Michael Hauhs	Scientific Modelling with Coalgebra-Algebra Homomorphisms.	CoRR	2015	DBLP BibTeX RDF
23	Toshiki Kataoka, Dusko Pavlovic	Towards concept analysis in categories: limit inferior as algebra, limit superior as coalgebra.	CoRR	2015	DBLP BibTeX RDF
23	Prasit Bhattacharya	The p-adic Integers as Final Coalgebra.	WoLLIC	2015	DBLP DOI BibTeX RDF
23	Damien Pous	Coinductive techniques, from automata to coalgebra.	PLMW@POPL	2015	DBLP DOI BibTeX RDF
23	Dexter Kozen, Konstantinos Mamouras, Daniela Petrisan, Alexandra Silva 0001	Nominal Kleene Coalgebra.	ICALP (2)	2015	DBLP DOI BibTeX RDF
23	Lawrence S. Moss, Pawel Sobocinski 0001 (eds.)	6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands	CALCO	2015	DBLP BibTeX RDF
23	Jirí Adámek, Stefan Milius, Henning Urbat	Syntactic Monoids in a Category.	CALCO	2015	DBLP DOI BibTeX RDF
23	Ionut Tutu, José Luiz Fiadeiro	Revisiting the Institutional Approach to Herbrand's Theorem.	CALCO	2015	DBLP DOI BibTeX RDF
23	Johannes Marti, Fatemeh Seifan, Yde Venema	Uniform Interpolation for Coalgebraic Fixpoint Logic.	CALCO	2015	DBLP DOI BibTeX RDF
23	Paul Blain Levy	Final Coalgebras from Corecursive Algebras.	CALCO	2015	DBLP DOI BibTeX RDF
23	Alexander Kurz 0001, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries	Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes.	CALCO	2015	DBLP DOI BibTeX RDF
23		Front Matter, Table of Contents, Preface, List of Authors.	CALCO	2015	DBLP DOI BibTeX RDF
23	Ulrich Fahrenberg, Axel Legay	Partial Higher-dimensional Automata.	CALCO	2015	DBLP DOI BibTeX RDF
23	Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König 0001	Towards Trace Metrics via Functor Lifting.	CALCO	2015	DBLP DOI BibTeX RDF
23	Bartek Klin, Beata Nachyla	Presenting Morphisms of Distributive Laws.	CALCO	2015	DBLP DOI BibTeX RDF
23	Bart Jacobs 0001	A Recipe for State-and-Effect Triangles.	CALCO	2015	DBLP DOI BibTeX RDF
23	Clovis Eberhart, Tom Hirschowitz, Thomas Seiller	An Intensionally Fully-abstract Sheaf Model for pi.	CALCO	2015	DBLP DOI BibTeX RDF
23	Aleks Kissinger, David Quick	A First-order Logic for String Diagrams.	CALCO	2015	DBLP DOI BibTeX RDF
23	Shin-ya Katsumata, Tetsuya Sato 0001	Codensity Liftings of Monads.	CALCO	2015	DBLP DOI BibTeX RDF
23	Stefan Milius, Thorsten Wißmann	Finitary Corecursion for the Infinitary Lambda Calculus.	CALCO	2015	DBLP DOI BibTeX RDF
23	Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, Mehrnoosh Sadrzadeh	Open System Categorical Quantum Semantics in Natural Language Processing.	CALCO	2015	DBLP DOI BibTeX RDF
23	Natsuki Urabe, Ichiro Hasuo	Coalgebraic Infinite Traces and Kleisli Simulations.	CALCO	2015	DBLP DOI BibTeX RDF
23	Corina Cîrstea	Canonical Coalgebraic Linear Time Logics.	CALCO	2015	DBLP DOI BibTeX RDF
23	Stefan Milius, Dirk Pattinson, Lutz Schröder	Generic Trace Semantics and Graded Monads.	CALCO	2015	DBLP DOI BibTeX RDF
23	Adriana Balan, Alexander Kurz 0001, Jirí Velebil	Extensions of Functors From Set to V-cat.	CALCO	2015	DBLP DOI BibTeX RDF
23	Maciej Piróg, Nicolas Wu, Jeremy Gibbons	Modules Over Monads and Their Algebras.	CALCO	2015	DBLP DOI BibTeX RDF
23	Liang-Ting Chen 0001, Henning Urbat	A Fibrational Approach to Automata Theory.	CALCO	2015	DBLP DOI BibTeX RDF
23	Filippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva 0001	Algebra-coalgebra duality in Brzozowski's minimization algorithm.	ACM Trans. Comput. Log.	2014	DBLP DOI BibTeX RDF
23	Wolfram Kahl	Graph Transformation with Symbolic Attributes via Monadic Coalgebra Homomorphisms.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2014	DBLP DOI BibTeX RDF