Search results for "Tableau"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Philippe Refalo	Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
10	Bernhard Beckert, Rajeev Goré	System Description: leanK 2.0.	CADE	1998	DBLP DOI BibTeX RDF
10	Rajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt	System Description: card TAP: The First Theorem Prover on a Smart Card.	CADE	1998	DBLP DOI BibTeX RDF
10	Serenella Cerrito, Marta Cialdea Mayer	Bounded Model Search in Linear Temporal Logic and Its Application to Planning.	TABLEAUX	1998	DBLP DOI BibTeX RDF
10	Fabio Massacci	Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux.	TABLEAUX	1998	DBLP DOI BibTeX RDF
10	Xinxin Liu, C. R. Ramakrishnan 0001, Scott A. Smolka	Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract).	TACAS	1998	DBLP DOI BibTeX RDF
10	Serenella Cerrito, Marta Cialdea Mayer	Using Linear Temporal Logic to Model and Solve Planning Problems.	AIMSA	1998	DBLP DOI BibTeX RDF	Planning, Temporal Reasoning, Linear Temporal Logic, Tableaux, Model Search
10	E. Thomas Richards, Barry Richards	Non-systematic Search and Learning: An Empirical Study.	CP	1998	DBLP DOI BibTeX RDF
10	Melvin Fitting	Bertrand Russell, Herbrand's Theorem, and the Assignment Statement.	AISC	1998	DBLP DOI BibTeX RDF
10	Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt	cardTAP: Automated Deduction on a Smart Card.	Australian Joint Conference on Artificial Intelligence	1998	DBLP DOI BibTeX RDF	lean TAP, security, java, proof carrying code, automated deduction, tableaux
10	Slim Abdennadher, Heribert Schütz	Model Generation with Existentially Quantified Variables and Constraints.	ALP/HOA	1997	DBLP DOI BibTeX RDF
10	David Janin	Automata, Tableaus and a Reduction Theorem for Fixpoint Calculi in Arbitrary Complete Lattices.	LICS	1997	DBLP DOI BibTeX RDF
10	Henny Sipma, Tomás E. Uribe, Zohar Manna	Deductive Model Checking.	CAV	1996	DBLP DOI BibTeX RDF
10	Antonio Moreno, Ton Sales	Limited Logical Belief Analysis.	PRICAI Workshop on Intelligent Agent Systems	1996	DBLP DOI BibTeX RDF
10	Tanel Tammet	A Resolution Theorem Prover for Intuitonistic Logic.	CADE	1996	DBLP DOI BibTeX RDF
10	Fausto Giunchiglia, Roberto Sebastiani	Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K.	CADE	1996	DBLP DOI BibTeX RDF
10	Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo	Labelled Proofs for Quantified Modal Logic.	JELIA	1996	DBLP DOI BibTeX RDF
10	Sebastián Ceria, Gérard Cornuéjols, Milind Dawande	Combining and Strengthening Gomory Cuts.	IPCO	1995	DBLP DOI BibTeX RDF
10	Anatoli Degtyarev, Andrei Voronkov	Simultaneous Regid E-Unification Is Undecidable.	CSL	1995	DBLP DOI BibTeX RDF
10	Rajeev Alur, Thomas A. Henzinger	A Really Temporal Logic.	J. ACM	1994	DBLP DOI BibTeX RDF	EXPSPACE-completeness, linear-time temporal logic, model checking, discrete time, real-time requirements, dense time
10	Orna Grumberg, David E. Long	Model Checking and Modular Verification.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	Moore machines, model checking, formal verification, temporal logics, CTL, computer-aided verification
10	Fabio Massacci	Strongly Analytic Tableaux for Normal Modal Logics.	CADE	1994	DBLP DOI BibTeX RDF
10	Hardi Hungar	Local Model Checking for Parallel Compositions of Context-Free Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
10	Ulrich Furbach	Theory Reasoning in First Order Calculi.	IS/KI	1994	DBLP DOI BibTeX RDF
10	Farn Wang, Aloysius K. Mok, E. Allen Emerson	Distributed Real-Time System Specification and Verification in APTL.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF	bounded clock rate drifting, multiclock system model, propositional temporal logic, real-time systems, verification, specification, asynchronous
10	Christopher T. H. Baker, Christopher A. H. Paul	Parallel continuous Runge-Kutta methods and vanishing lag delay differential equations.	Adv. Comput. Math.	1993	DBLP DOI BibTeX RDF	AMS(MOS) subject classifications primary 65Q05
10	Joachim Posegga	Compiling Proof Search in Semantic Tableaux.	ISMIS	1993	DBLP DOI BibTeX RDF
10	Reiner Hähnle	Short CNF in Finitely-Valued Logics.	ISMIS	1993	DBLP DOI BibTeX RDF
10	Mohsin Ahmed, G. Venkatesh	A Propositional Dense Time Logic (Based on Nested Sequences).	TAPSOFT	1993	DBLP DOI BibTeX RDF	ordinal trees, Temporal logic, dense time
10	Hardi Hungar, Bernhard Steffen	Local Model Checking for Context-Free Processes.	ICALP	1993	DBLP DOI BibTeX RDF
10	Talal Maghrabi, Forouzan Golshani	Automatic Program Generation Using Sequent Calculus.	ACM Conference on Computer Science	1992	DBLP DOI BibTeX RDF
10	Bernhard Beckert, Reiner Hähnle	An Improved Method for Adding Equality to Free Variable Semantic Tableaux.	CADE	1992	DBLP DOI BibTeX RDF
10	Søren Christensen, Hans Hüttel, Colin Stirling	Bisimulation Equivalence is Decidable for all Context-Free Processes.	CONCUR	1992	DBLP DOI BibTeX RDF
10	Søren Christensen	Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems.	CONCUR	1992	DBLP DOI BibTeX RDF
10	Linda Christoff, Ivan Christoff	Reasonong about Safety and Liveness Properties for Probabilistic Processes.	FSTTCS	1992	DBLP DOI BibTeX RDF
10	Gjalt G. de Jong	An Automata Theoretic Approach to Temporal Logic.	CAV	1991	DBLP DOI BibTeX RDF
10	Colin Sterling	Taming Infinite State Spaces.	CAV	1991	DBLP DOI BibTeX RDF
10	Armen Gabrielian, R. Iyer	Verifying Properties of HMS Machine Specifications of Real-Time Systems.	CAV	1991	DBLP DOI BibTeX RDF
10	Orna Grumberg, David E. Long	Model Checking and Modular Verification.	CONCUR	1991	DBLP DOI BibTeX RDF
10	E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan	Quantitative Temporal Reasoning.	CAV	1990	DBLP DOI BibTeX RDF
10	Neil V. Murray, Erik Rosenthal	Employing Path Dissolution to Shorten Tableaux Proofs.	ISSAC	1989	DBLP DOI BibTeX RDF
10	James A. Barby, Jirí Vlach, Kishore Singhal	Polynomial splines for MOSFET model approximation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
10	Peter T. Wood, Alberto O. Mendelzon, Paolo Atzeni	Idempotent Single-Predicate Horn Clauses.	ICDT	1988	DBLP DOI BibTeX RDF
10	Fritjof Haft, R. P. Jones, Thomas Wetter	A Natural Language Based Legal Expert System for Consultation and Tutoring - the LEX Project.	ICAIL	1987	DBLP DOI BibTeX RDF
10	Wolfgang Schönfeld	Interfacing a Logic Machine.	CSL	1987	DBLP DOI BibTeX RDF
10	Marc H. Graham, Alberto O. Mendelzon, Moshe Y. Vardi	Notions of dependency satisfaction.	J. ACM	1986	DBLP DOI BibTeX RDF
10	Zohar Manna, Richard J. Waldinger	How to Clear a Block: Plan Formation in Situational Logic.	CADE	1986	DBLP DOI BibTeX RDF
10	Franz Oppacher, E. Suen	Controlling Deduction with Proof Condensation and Heuristics.	CADE	1986	DBLP DOI BibTeX RDF
10	S. Bapat, G. Venkatesh	Reasoning about digital systems using temporal logic.	DAC	1986	DBLP DOI BibTeX RDF
10	Kent Laver, Alberto O. Mendelzon, Marc H. Graham	Functional Dependencies on Cyclic Database Schemes.	SIGMOD Conference	1983	DBLP DOI BibTeX RDF
10	Tomasz Imielinski, Witold Lipski Jr.	Inverting Relational Expressions - A Uniform and Natural Technique for Various Database Problems.	PODS	1983	DBLP DOI BibTeX RDF
10	David Maier 0001, Jeffrey D. Ullman, Moshe Y. Vardi	The Revenge of the JD.	PODS	1983	DBLP DOI BibTeX RDF
10	Pierre Wolper	Specification and Synthesis of Communicating Processes using an Extended Temporal Logic.	POPL	1982	DBLP DOI BibTeX RDF
10	Tomasz Imielinski, Witold Lipski Jr.	A Technique for Translating States Between Database Schemata.	SIGMOD Conference	1982	DBLP DOI BibTeX RDF
10	Marc H. Graham, Alberto O. Mendelzon	Notions of Dependency Satisfaction.	PODS	1982	DBLP DOI BibTeX RDF
10	David Maier 0001, Jeffrey D. Ullman	Connections in Acyclic Hypergraphs.	PODS	1982	DBLP DOI BibTeX RDF
10	David Maier 0001, Alberto O. Mendelzon, Yehoshua Sagiv	Testing Implications of Data Dependencies.	ACM Trans. Database Syst.	1979	DBLP DOI BibTeX RDF	relational databases, data dependencies, functional dependencies, chase, tableaux, multivalued dependencies, join dependencies
10	David Maier 0001, Alberto O. Mendelzon, Yehoshua Sagiv	Testing Implications of Data Dependencies (Abstract).	SIGMOD Conference	1979	DBLP DOI BibTeX RDF
10	Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman	Efficient Optimization of a Class of Relational Expressions (Abstract).	SIGMOD Conference	1978	DBLP DOI BibTeX RDF