Search results for "axiomatisation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
79	Martin Hesketh, Maciej Koutny	An Axiomatisation of Duplication Equivalence in the Petri Box Calculus.	ICATPN	1998	DBLP DOI BibTeX RDF	Net-based algebra, analysis of structure of nets, verification using nets, equivalence and axiomatisation
56	Oliver Kutz	Notes on Logics of Metric Spaces.	Stud Logica	2007	DBLP DOI BibTeX RDF	expressive completeness, Boolean modal logic, interpolation, Metric spaces, hybrid logic, axiomatisation
56	Sven Hartmann, Sebastian Link	Functional Dependencies on Nested Attributes: Algebraic, Logical and Topological Perspective.	DEXA Workshops	2005	DBLP DOI BibTeX RDF	Nested database, Brouwerian algebra, Functional dependency, Sets, Records, Horn clause, Lists, Multisets, Topological space, Axiomatisation
52	Régis Alenda, Nicola Olivetti, Camilla Schwind	Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus.	TABLEAUX	2009	DBLP DOI BibTeX RDF
52	Sebastian Link	A Strongly Minimal Axiomatisation of Multivalued Dependencies in Incomplete Database Relations.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
44	Jules Desharnais, Georg Struth	Modal Semirings Revisited.	MPC	2008	DBLP DOI BibTeX RDF
44	Sven Hartmann, Henning Köhler, Sebastian Link	Full hierarchical dependencies in fixed and undetermined universes.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68P15
44	Irek Ulidowski	Axiomatisations of Weak Equivalences for De Simone Languages.	CONCUR	1995	DBLP DOI BibTeX RDF
41	Sebastian Link	Spoilt for Choice: Full First-Order Hierarchical Decompositions.	WoLLIC	2009	DBLP DOI BibTeX RDF	Database Decomposition, Propositional Logic, Axiomatisation, Database Constraint
41	Alessio Lomuscio, Bozena Wozna	A temporal epistemic logic with a reset operation.	AAMAS	2007	DBLP DOI BibTeX RDF	decidability, epistemic logic, axiomatisation
38	Alessio Lomuscio, Bozena Wozna	A Complete and Decidable Axiomatisation for Deontic Interpreted Systems.	DEON	2006	DBLP DOI BibTeX RDF
38	Huimin Lin, Wang Yi 0001	A Complete Axiomatisation for Timed Automata.	FSTTCS	2000	DBLP DOI BibTeX RDF
38	Pascal Fradet, Ronan Caugne, Daniel Le Métayer	Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm.	ESOP	1996	DBLP DOI BibTeX RDF
29	Luca Aceto, Anna Ingólfsdóttir, Bas Luttik, Paul van Tilburg	Finite Equational Bases for Fragments of CCS with Restriction and Relabelling.	IFIP TCS	2008	DBLP DOI BibTeX RDF
29	Joachim Biskup, Sebastian Link	Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes.	FoIKS	2008	DBLP DOI BibTeX RDF
29	Daniel Hirschkoff, Damien Pous	A Distribution Law for CCS and a New Congruence Result for the pi-Calculus.	FoSSaCS	2007	DBLP DOI BibTeX RDF
29	Sven Hartmann, Sebastian Link	Unlocking Keys for XML Trees.	ICDT	2007	DBLP DOI BibTeX RDF
29	John Cantwell	A Formal Model of Multi-Agent Belief-Interaction.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	common announcements, belief revision, epistemic logic, dynamic logic, common knowledge
29	John Cantwell	A Formal Model of Multi-Agent Belief-Interaction.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	common announcements, common knoweledge, belief revision, epistemic logic, dynamic logic
29	Ulrich Schöpp, Ian Stark	A Dependent Type Theory with Names and Binding.	CSL	2004	DBLP DOI BibTeX RDF
29	Joseph M. Morris, Alexander Bunkenburg	A theory of bunches.	Acta Informatica	2001	DBLP DOI BibTeX RDF
29	Søren Christensen, Yoram Hirshfeld, Faron Moller	Bisimulation Equivalence is Decidable for Basic Parallel Processes.	CONCUR	1993	DBLP DOI BibTeX RDF
27	André Platzer	Differential Dynamic Logic for Hybrid Systems.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Verification of hybrid systems, Differential equations, Automated theorem proving, Dynamic logic, Sequent calculus, Axiomatisation
27	Patrick Blackburn, Balder ten Cate	Pure Extensions, Proof Rules, and Hybrid Axiomatics.	Stud Logica	2006	DBLP DOI BibTeX RDF	completeness, modal logic, Hybrid logic, proof rules, axiomatisation, nominals
23	Junhyung Park, Simon Buchholz, Bernhard Schölkopf, Krikamol Muandet	A Measure-Theoretic Axiomatisation of Causality.	CoRR	2023	DBLP DOI BibTeX RDF
23	Jan A. Bergstra, John V. Tucker	A Complete Finite Equational Axiomatisation of the Fracterm Calculus for Common Meadows.	CoRR	2023	DBLP DOI BibTeX RDF
23	Robin Piedeleu, Fabio Zanasi	A Finite Axiomatisation of Finite-State Automata Using String Diagrams.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
23	Junhyung Park, Simon Buchholz, Bernhard Schölkopf, Krikamol Muandet	A Measure-Theoretic Axiomatisation of Causality.	NeurIPS	2023	DBLP BibTeX RDF
23	Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik	Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?	ACM Trans. Comput. Log.	2022	DBLP DOI BibTeX RDF
23	Robin Piedeleu, Fabio Zanasi	A Finite Axiomatisation of Finite-State Automata Using String Diagrams.	CoRR	2022	DBLP DOI BibTeX RDF
23	Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik	On the Axiomatisation of Branching Bisimulation Congruence over CCS.	CoRR	2022	DBLP DOI BibTeX RDF
23	Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik	On the Axiomatisation of Branching Bisimulation Congruence over CCS.	CONCUR	2022	DBLP DOI BibTeX RDF
23	Xinxin Liu 0009, Tingting Yu	A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours.	CoRR	2021	DBLP BibTeX RDF
23	Stéphane Demri, Étienne Lozes, Alessio Mansutti	A Complete Axiomatisation for Quantifier-Free Separation Logic.	Log. Methods Comput. Sci.	2021	DBLP DOI BibTeX RDF
23	Xinxin Liu 0009, Tingting Yu	A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours.	LICS	2021	DBLP DOI BibTeX RDF
23	Robin Piedeleu, Fabio Zanasi	A String Diagrammatic Axiomatisation of Finite-State Automata.	FoSSaCS	2021	DBLP DOI BibTeX RDF
23	Stéphane Demri, Étienne Lozes, Alessio Mansutti	A Complete Axiomatisation for Quantifier-Free Separation Logic.	CoRR	2020	DBLP BibTeX RDF
23	Robin Piedeleu, Fabio Zanasi	A String Diagrammatic Axiomatisation of Finite-State Automata.	CoRR	2020	DBLP BibTeX RDF
23	Quanlong Wang	An Algebraic Axiomatisation of ZX-calculus.	QPL	2020	DBLP DOI BibTeX RDF
23	Gordon D. Plotkin	A complete equational axiomatisation of partial differentiation.	CoRR	2020	DBLP BibTeX RDF
23	Ferry Timmers, Jan Friso Groote	A Complete Axiomatisation for Probabilistic Trace Equivalence.	Sci. Ann. Comput. Sci.	2020	DBLP DOI BibTeX RDF
23	Miroslav Kárný	Axiomatisation of fully probabilistic design revisited.	Syst. Control. Lett.	2020	DBLP DOI BibTeX RDF
23	Gordon D. Plotkin	A Complete Equational Axiomatisation of Partial Differentiation.	MFPS	2020	DBLP DOI BibTeX RDF
23	Andreas Herzig, Elise Perrotin	On the Axiomatisation of Common Knowledge.	AiML	2020	DBLP BibTeX RDF
23	Paul Brunet	A Complete Axiomatisation of a Fragment of Language Algebra.	CSL	2020	DBLP DOI BibTeX RDF
23	Klaus G. Troitzsch	Axiomatisation and Simulation.	Inf.	2019	DBLP DOI BibTeX RDF
23	Paul Brunet	A complete axiomatisation of reversible Kleene lattices.	CoRR	2019	DBLP BibTeX RDF
23	Wim Laurier, Satoshi Horiuchi	Building an Executable Axiomatisation of the REA2 Ontology.	VMBO	2019	DBLP BibTeX RDF
23	Junnan Xu, Wanwei Liu, David N. Jansen, Lijun Zhang 0001	An Axiomatisation of the Probabilistic \mu -Calculus.	ICFEM	2019	DBLP DOI BibTeX RDF
23	Tengfei Li 0002, Jing Liu 0012, Dongdong An, Haiying Sun	A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language.	SEKE	2019	DBLP DOI BibTeX RDF
23	Renaud Vilmart	A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics.	LICS	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	Elisabeth Pelz	Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets.	Fundam. Informaticae	2018	DBLP DOI BibTeX RDF
23	Makoto Hamana, Kazutaka Matsuda, Kazuyuki Asada	The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics.	Math. Struct. Comput. Sci.	2018	DBLP DOI BibTeX RDF
23	Jasper De Bock, Gert de Cooman	A Desirability-Based Axiomatisation for Coherent Choice Functions.	CoRR	2018	DBLP BibTeX RDF
23	Amar Hadzihasanovic, Giovanni de Felice, Kang Feng Ng	A diagrammatic axiomatisation of fermionic quantum circuits.	CoRR	2018	DBLP BibTeX RDF
23	Alban Ponse, Daan J. C. Staudt	An independent axiomatisation for free short-circuit logic.	J. Appl. Non Class. Logics	2018	DBLP DOI BibTeX RDF
23	Brian A. Davey, Jane G. Pitkethly, Ross Willard	New-from-old full dualities via axiomatisation.	Ann. Pure Appl. Log.	2018	DBLP DOI BibTeX RDF
23	Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart	A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics.	LICS	2018	DBLP DOI BibTeX RDF
23	Mustapha Ridaoui, Michel Grabisch, Christophe Labreuche	An Axiomatisation of the Banzhaf Value and Interaction Index for Multichoice Games.	MDAI	2018	DBLP DOI BibTeX RDF
23	Jasper De Bock, Gert de Cooman	A Desirability-Based Axiomatisation for Coherent Choice Functions.	SMPS	2018	DBLP DOI BibTeX RDF
23	Amar Hadzihasanovic, Giovanni de Felice, Kang Feng Ng	A Diagrammatic Axiomatisation of Fermionic Quantum Circuits.	FSCD	2018	DBLP DOI BibTeX RDF
23	Stefano Bonzio, José Gil-Férez, Francesco Paoli, Luisa Peruzzi	On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.	Stud Logica	2017	DBLP DOI BibTeX RDF
23	Liang Zhen	An Axiomatisation for Minimal Social Epistemic Logic.	LORI	2017	DBLP DOI BibTeX RDF
23	Daniel Borchmann, Felix Distel, Francesco Kriegel	Axiomatisation of general concept inclusions from finite interpretations.	J. Appl. Non Class. Logics	2016	DBLP DOI BibTeX RDF
23	Stefano Aguzzoli, Matteo Bianchi 0001	On some questions concerning the axiomatisation of WNM-algebras and their subvarieties.	Fuzzy Sets Syst.	2016	DBLP DOI BibTeX RDF
23	Didier Dubois, Agnès Rico	Axiomatisation of Discrete Fuzzy Integrals with Respect to Possibility and Necessity Measures.	MDAI	2016	DBLP DOI BibTeX RDF
23	Nahla Ben Amor, Fatma Essghaier, Hélène Fargier	Décision collective sous incertitude possibiliste. Principes et axiomatisation.	Rev. d'Intelligence Artif.	2015	DBLP DOI BibTeX RDF
23	Makoto Hamana, Kazutaka Matsuda, Kazuyuki Asada	The Algebra of Recursive Graph Transformation Language UnCAL: Complete Axiomatisation and Iteration Categorical Semantics.	CoRR	2015	DBLP BibTeX RDF
23	Amar Hadzihasanovic	A Diagrammatic Axiomatisation for Qubit Entanglement.	CoRR	2015	DBLP BibTeX RDF
23	Amar Hadzihasanovic	A Diagrammatic Axiomatisation for Qubit Entanglement.	LICS	2015	DBLP DOI BibTeX RDF
23	Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin	Axiomatisation of constraint systems to specify a tableaux calculus modulo theories.	CoRR	2014	DBLP BibTeX RDF
23	Luís Soares Barbosa, Manuel A. Martins 0001, Marta Carreteiro	A Hilbert-Style Axiomatisation for Equational Hybrid Logic.	J. Log. Lang. Inf.	2014	DBLP DOI BibTeX RDF
23	Miroslav Kárný, Tomás Kroupa	Axiomatisation of fully probabilistic design.	Inf. Sci.	2012	DBLP DOI BibTeX RDF
23	Piotr Kulicki	An Axiomatisation of a Pure Calculus of Names.	Stud Logica	2012	DBLP DOI BibTeX RDF
23	Francesco Belardinelli, Alessio Lomuscio	First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment.	Fundam. Informaticae	2011	DBLP DOI BibTeX RDF
23	Dimitar P. Guelev, Catalin Dima, Constantin Enea	An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
23	Jeremy Pitt, Julia Schaumeier, Alexander Artikis	The Axiomatisation of Socio-Economic Principles for Self-Organising Systems.	SASO	2011	DBLP DOI BibTeX RDF	Socio-Economics, Norms, Self-Organisation
23	Régis Alenda, Nicola Olivetti, Camilla Schwind	Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus	CoRR	2009	DBLP BibTeX RDF
23	Francesco Belardinelli, Alessio Lomuscio	First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment.	WoLLIC	2009	DBLP DOI BibTeX RDF
23	Jos C. M. Baeten, Mario Bravetti	A ground-complete axiomatisation of finite-state processes in a generic process algebra.	Math. Struct. Comput. Sci.	2008	DBLP DOI BibTeX RDF
23	Thierry Coquand, Henri Lombardi	A note on the axiomatisation of real numbers.	Math. Log. Q.	2008	DBLP DOI BibTeX RDF
23	Ronald Rousseau 0001	Woeginger's axiomatisation of the h-index and its relation to the g-index, the h(2)-index and the R2-index.	J. Informetrics	2008	DBLP DOI BibTeX RDF
23	Erica Calardo, Vladimir V. Rybakov	An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK.	Log. J. IGPL	2007	DBLP DOI BibTeX RDF
23	Andreas Schäfer 0001	Axiomatisation and decidability of multi-dimensional Duration Calculus.	Inf. Comput.	2007	DBLP DOI BibTeX RDF
23	Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse	A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification.	CONCUR	2006	DBLP DOI BibTeX RDF
23	Martin Lange	A quick axiomatisation of LTL with past.	Math. Log. Q.	2005	DBLP DOI BibTeX RDF
23	Guido Governatori, Antonino Rotolo	On the Axiomatisation of Elgesem's Logic of Agency and Ability.	J. Philos. Log.	2005	DBLP DOI BibTeX RDF
23	Lutz Straßburger	On the Axiomatisation of Boolean Categories with and without Medial	CoRR	2005	DBLP BibTeX RDF
23	Robin Hirsch	The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable.	Log. J. IGPL	2005	DBLP DOI BibTeX RDF
23	Andreas Schäfer 0001	Axiomatisation and Decidability of Multi-dimensional Duration Calculus.	TIME	2005	DBLP DOI BibTeX RDF	Real-time systems, temporal logic, mobile systems, Duration Calculus, spatial logic
23	Dimitar P. Guelev, Dang Van Hung	A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus.	J. Appl. Non Class. Logics	2004	DBLP DOI BibTeX RDF
23	Alan Stewart, Maurice Clint, Joaquim Gabarró	Barrier synchronisation: Axiomatisation and relaxation.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Global synchronisation, Operation relaxation, High performance computing, Hoare logic, BSP
23	Richard F. Booth, Maria Leonor Moreira, Maria Rosário Pinto	A circuit axiomatisation of Lagrangian matroids.	Discret. Math.	2003	DBLP DOI BibTeX RDF
23	Erik Palmgren	An Intuitionistic Axiomatisation of Real Closed Fields.	Math. Log. Q.	2002	DBLP DOI BibTeX RDF
23	Brandon Bennett	A Categorical Axiomatisation of Region-Based Geometry.	Fundam. Informaticae	2001	DBLP BibTeX RDF
23	Antonio Cerone	Axiomatisation of an Interval Calculus for Theorem Proving.	CATS	2001	DBLP DOI BibTeX RDF
23	Igor Walukiewicz	Completeness of Kozen's Axiomatisation of the Propositional µ-Calculus.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
23	Fabio Gadducci, Reiko Heckel, Mercè Llabrés	A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting.	CTCS	1999	DBLP DOI BibTeX RDF
23	Mark Levene, George Loizou	Axiomatisation of Functional Dependencies in Incomplete Relations.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF