The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase classical logic (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1967-1988 (16) 1989-1991 (18) 1992-1993 (18) 1994 (16) 1995-1996 (18) 1997-1998 (27) 1999-2000 (35) 2001 (24) 2002 (22) 2003 (20) 2004 (18) 2005 (29) 2006 (22) 2007 (30) 2008 (33) 2009 (27) 2010 (15) 2011-2012 (22) 2013-2014 (20) 2015-2016 (22) 2017-2018 (20) 2019 (8)
Publication types (Num. hits)
article(157) book(1) incollection(7) inproceedings(307) phdthesis(3) proceedings(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 275 occurrences of 193 keywords

Results
Found 480 publication records. Showing 480 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
45Churn-Jung Liau An Overview of Hybrid Possibilistic Reasoning. Search on Bibsonomy RSFDGrC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Qualitative possibility logic, Graded modal logic, Description Logic, Hybrid logic, Possibilistic logic
45Germano Resconi, Boris Kovalerchuk Explanatory Model for the Break of Logic Equivalence by Irrational Agents in Elkan's Paradox. Search on Bibsonomy EUROCAST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF explanatory model, logic equivalence, irrational agent, inconsistent agent, Fuzzy logic, classical logic, paradox, rational agent
44Kai Brünnler Atomic Cut Elimination for classical Logic. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF atomic cut, sequent calculus, cut elimination, natural deduction, classical logic
43Zena M. Ariola, Hugo Herbelin, Amr Sabry A proof-theoretic foundation of abortive continuations. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Callcc, Minimal logic, Intuitionistic logic, Classical logic
39Sylvia B. Encheva, Yuriy P. Kondratenko, Sharil Tumin, Sanjay Kumar Khattri Non-classical Logic in an Intelligent Assessment Sub-system. Search on Bibsonomy ICCSA (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF decision support systems, logistics, Non-classical logic
39Witold A. Pogorzelski, Piotr Wojtylak A Proof System for Classical Logic. Search on Bibsonomy Studia Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Inferential rule, Consequence operation, Classical logic
39H. Kushida, M. Okada A proof-theoretic study of the correspondence of hybrid logic and classical logic. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Proof theory, Hybrid logic, Classical logic
39Anthony Hunter A Semantic Tableau Version of First-Order Quasi-Classical Logic. Search on Bibsonomy ECSQARU The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
38Hugo Herbelin On the Degeneracy of Sigma-Types in Presence of Computational Classical Logic. Search on Bibsonomy TLCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Ofer Arieli, Marc Denecker Modeling Paraconsistent Reasoning by Classical Logic. Search on Bibsonomy FoIKS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Zena M. Ariola, Hugo Herbelin Minimal Classical Logic and Control Operators. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Olivier Laurent, Laurent Regnier About Translations of Classical Logic into Polarized Linear Logic. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Alessio Guglielmi, Tom Gundersen, Lutz Straßburger Breaking Paths in Atomic Flows for Classical Logic. Search on Bibsonomy LICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF atomic flows, proof normalization, classical logic
34Ichiro Ogata A Proof Theoretical Account of Continuation Passing Style. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Classical Natural Deduction, LKQ, classical proof theory, Classical Logic, CPS-translation, Call-By-Value
33Marc Denecker, Joost Vennekens Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Dov M. Gabbay Classical vs non-classical logics (the universality of classical logic). Search on Bibsonomy Handbook of Logic in Artificial Intelligence and Logic Programming (2) The full citation details ... 1994 DBLP  BibTeX  RDF
31Zuoquan Lin Paraconsistent Circumscription: First-Order Case. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF paraconsistent circumscription, predicate circumscription, minimal semantics, nonmonotonic reasoning, formal logic, paraconsistent logic, nonmonotonic logic, classical logic
30Christian Urban Strong Normalisation for a Gentzen-like Cut-Elimination Procedure. Search on Bibsonomy TLCA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Recursive Path Ordering, Cut-Elimination, Explicit Substitution, Classical Logic
30François Bry Negation in Logic Programming: A Formalization in Constructive Logic. Search on Bibsonomy IS/KI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
29Roman Kuznets Proof Identity for Classical Logic: Generalizing to Normality. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Thomas Lukasiewicz Probabilistic logic programming with conditional constraints. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF conditional constraint, quantitative deduction, computational complexity, logic programming, probability, uncertainty, many-valued logic, probabilistic reasoning, probabilistic logic, probabilistic logic programming
28Thomas Lukasiewicz Probabilistic and Truth-Functional Many-Valued Logic Programming. Search on Bibsonomy ISMVL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF many-valued logic programming, logics of probability, truth-functional many-valued logics
28Carlos Viegas Damásio, Luís Moniz Pereira Monotonic and Residuated Logic Programs. Search on Bibsonomy ECSQARU The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Logic Programming, Many-valued logics, Possibilistic Logic
27José Espírito Santo, Ralph Matthes, Koji Nakazawa, Luís Pinto Confluence for classical logic through the distinction between values and computations. Search on Bibsonomy CL&C The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Michele Basaldella Infinitary Classical Logic: Recursive Equations and Interactive Semantics. Search on Bibsonomy CL&C The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Thomas Lukasiewicz Many-Valued First-Order Logics with Probabilistic Semantics. Search on Bibsonomy CSL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
26Joshua S. Hodas, Naoyuki Tamura lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Koji Tanaka Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic. Search on Bibsonomy Paraconsistency: Logic and Applications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Ralph Miarka, John Derrick, Eerke A. Boiten Handling Inconsistencies in Z Using Quasi-Classical Logic. Search on Bibsonomy ZB The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Anthony Hunter, Bashar Nuseibeh Managing Inconsistent Specifications: Reasoning, Analysis, and Action. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF managing inconsistency, requiriements specification, viewpoints, paraconsistent logics
26Dimiter Vakarelov Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. Search on Bibsonomy Studia Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Nelson negation, subminimal logic, counterexample semantics, many-valued logics
25Sylvia B. Encheva, Sharil Tumin, Maryna Z. Solesvik Intelligent Decision Support System for Evaluation of Ship Designers. Search on Bibsonomy KES (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF intelligent agents, non-classical logic, Shipbuilding
25Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne Characterizing strong normalization in a language with control operators. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF functional programming, continuations, classical logic, intersection type
24Jean-Louis Krivine The Curry-Howard Correspondence in Set Theory. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
24Craig MacNish Knowledge without Modality: A Simplified Framework for Chronological Ignorance. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
23Carsten Führmann, David J. Pym On the Geometry of Interaction for Classical Logic. Search on Bibsonomy LICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Marcelo Finger, Renata Wassermann Logics for Approximate Reasoning: Approximating Classical Logic "From Above". Search on Bibsonomy SBIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Thierry Coquand, Erik Palmgren Intuitionistic choice and classical logic. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Hans de Nivelle A Unification of Ordering Refinements of Resolution in Classical Logic. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
23Michel Parigot Free Deduction: An Analysis of "Computations" in Classical Logic. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
23Paulo Mateus, Amílcar Sernadas Reasoning About Quantum Systems. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Juan Carlos Agudelo Agudelo Translating Non-classical Logics into Classical Logic by Using Hidden Variables. Search on Bibsonomy Logica Universalis The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Marcelo E. Coniglio, Newton M. Peron Modal Extensions of Sub-classical Logics for Recovering Classical Logic. Search on Bibsonomy Logica Universalis The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
23V. Sotirov Non-classical operations hidden in classical logic. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Philippe Besnard, Anthony Hunter Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information. Search on Bibsonomy ECSQARU The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
23Ricardo Caferra, Stéphane Demri Semantic Entailment in Non Classical Logics Based on Proofs Found in Classical Logic. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
22Marc Denecker Extending Classical Logic with Inductive Definitions. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
22Peter Verdée, Stephan van der Waart van Gulik A Generic Framework for Adaptive Vague Logics. Search on Bibsonomy Studia Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF supervaluationism, subvaluationism, clarity logic, dynamic proofs, fuzzy logic, vagueness, adaptive logic
21Reinhard Muskens Logical Omniscience and Classical Logic. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Logical Omniscience, Propositional Attitudes, Impossible Worlds, Epistemic Logic
21Donghuo Chen, Jinzhao Wu Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic. Search on Bibsonomy SOFSEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Marcelo Finger Towards Polynomial Approximations of Full Propositional Logic. Search on Bibsonomy SBIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Zhihu Zhang, Zuoquan Lin, Shuang Ren Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach. Search on Bibsonomy ISMIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Quasi-classical logic, paraconsistent semantics, fixpoint semantics, disjunctive logic program
21Marc Denecker, Eugenia Ternovska A logic of nonmonotone inductive definitions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF logic programming, classical logic, Inductive definitions
21Philippe Balbiani, Tinko Tinchev Boolean Logics with Relations. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF First-order classical logic, propositional modal logic, relations, Boolean algebra
21Hugo Herbelin, Silvia Ghilezan An approach to call-by-name delimited continuations. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF boehm separability, delimited control, observational completeness, classical logic
21Neil Tennant Contracting Intuitionistic Theories. Search on Bibsonomy Studia Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF partial meet contraction, safe contraction, contraction, intuitionistic logic, revision, classical logic
21Gilles Barthe, Tarmo Uustalu CPS translating inductive and coinductive types. Search on Bibsonomy PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF classical logic and control, inductive and coinductive types, typed ?-calculi, dependent types, CPS translations
21Tadao Murata, V. S. Subrahmanian, Toshiro Wakayama A Petri Net Model for Reasoning in the Presence of Inconsistency. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF large expert systems, Petri nets, query processing, logic programs, logic programming, logic programming, expert systems, query languages, queries, reasoning, inference mechanisms, inconsistency, classical logic, Petri net model
20Joseph P. Near, William E. Byrd, Daniel P. Friedman alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Laura Giordano 0001 Defining Variants of Default Logic: a Modal Approach. Search on Bibsonomy ISMIS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
18Kai Brünnler, Alwen Fernanto Tiu A Local System for Classical Logic. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
18Christian Urban, Gavin M. Bierman Strong Normalisation of Cut-Elimination in Classical Logic. Search on Bibsonomy TLCA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
18Didier Dubois, Henri Prade Toward Multiple-agent Extensions of Possibilistic Logic. Search on Bibsonomy FUZZ-IEEE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Qing Liu 0011, Lan Liu Rough Logic and Its Reasoning. Search on Bibsonomy Trans. Computational Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Atomic formula, Well-formed formula, Resolution reasoning, Deductive reasoning
18Vladimir Lifschitz, David Pearce 0001, Agustín Valverde Strongly equivalent logic programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF logic programming, stable models, answer sets
18Young U. Ryu Logical Specification of Resource Consumption and Production. Search on Bibsonomy HICSS (2) The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
18Matt Fairtlough, Michael Mendler An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware. Search on Bibsonomy CSL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
18Norihiro Kamide An Extended Paradefinte Belnap-Dunn Logic that is Embeddable into Classical Logic and Vice Versa. Search on Bibsonomy ICAART (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
18C. A. Middelburg On the strongest three-valued paraconsistent logic contained in classical logic. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
18Norihiro Kamide, Yaroslav Shramko Embedding from multilattice logic into classical logic and vice versa. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
18Hans de Nivelle Theorem proving for classical logic with partial functions by reduction to Kleene logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
18Adrian Haret Logic-Based Merging in Fragments of Classical Logic with Inputs from Social Choice Theory. Search on Bibsonomy ADT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
18Olivier A. Heubo-Kwegna Fuzzy Logic versus Classical Logic: An Example in Multiplicative Ideal Theory. Search on Bibsonomy Adv. Fuzzy Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
18Ryuta Arisaka, Ken Satoh Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction. Search on Bibsonomy PRIMA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
18Levis Zerpa Using interrogative logic to teach classical logic. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
18Simon Kramer 0001 Quantum Logic as Classical Logic. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
18Chuck Liang, Dale Miller 0001 Kripke semantics and proof systems for combining intuitionistic logic and classical logic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
18H. Kushida, M. Okada A proof-theoretic study of the correspondence of classical logic and modal logic. Search on Bibsonomy J. Symb. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
18François Bry An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning. Search on Bibsonomy Paraconsistent Computational Logic The full citation details ... 2002 DBLP  BibTeX  RDF
18Ramón Béjar, Reiner Hähnle, Felip Manyà A Modular Reduction of Regular Logic to Classical Logic. Search on Bibsonomy ISMVL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
18Daniel S. Korn, Christoph Kreitz Deciding Intuitionistic Propositional Logic via Translation into Classical Logic. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
18Hajnal Andréka, Johan van Benthem, István Németi Back and Forth Between Modal Logic and Classical Logic. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
18Leszek Pacholski Undecidability of Implication Problems in Logic Programming, Database Theory and Classical Logic. Search on Bibsonomy Kurt Gödel Colloquium The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
18Henry Africk Classical Logic, Intuitionistic Logic and the Peirce Rule. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
18Jean-Yves Girard 0001 A New Constructive Logic: Classical Logic. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
17Norihiro Kamide Gentzen-Type Methods for Bilattice Negation. Search on Bibsonomy Studia Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Bilattice negation, completeness, sequent calculus, substructural logic, strong negation
17Anthony Hunter, Sébastien Konieczny Approaches to Measuring Inconsistent Information. Search on Bibsonomy Inconsistency Tolerance The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Karim Nour Mixed logic and storage operators. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
17Marc Denecker A Knowledge Base System Project for FO(.). Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Jørgen Villadsen Paraconsistent Assertions. Search on Bibsonomy MATES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases. Search on Bibsonomy J. ACM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF logic programming, deductive databases, nonmonotonic reasoning, operations research
16Chuck Liang, Dale Miller 0001 A Unified Sequent Calculus for Focused Proofs. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir An introduction to fuzzy answer set programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 68T30, 68T37
16Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir Fuzzy Answer Set Programming. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Pascal Nicolas, Laurent Garcia, Igor Stéphan A Possibilistic Inconsistency Handling in Answer Set Programming. Search on Bibsonomy ECSQARU The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Michel Parigot Strong Normalization of Second Order Symmetric lambda-Calculus. Search on Bibsonomy FSTTCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
16Alwen Tiu A Local System for Intuitionistic Logic. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF locality, proof theory, intuitionistic logic, intermediate logics, deep inference, calculus of structures
16Julia L. Lawall, Harry G. Mairson Sharing Continuations: Proofnets for Languages with Explicit Control. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Mohua Banerjee, Didier Dubois A Simple Modal Logic for Reasoning about Revealed Beliefs. Search on Bibsonomy ECSQARU The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Maarten Mariën, Rudradeb Mitra, Marc Denecker, Maurice Bruynooghe Satisfiability Checking for PC(ID). Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 480 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license