The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for axiomatisation with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1973-1993 (18) 1994-1997 (16) 1998-2001 (20) 2002-2004 (17) 2005-2006 (19) 2007 (16) 2008-2009 (22) 2011-2017 (16) 2018-2019 (17) 2020-2022 (17) 2023 (4)
Publication types (Num. hits)
article(76) inproceedings(104) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 97 occurrences of 75 keywords

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