Search results for "universal quantification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Kyu-Young Whang, Ashok Malhotra, Gary H. Sockut, Luanne M. Burns, Key-Sun Choi	Two-Dimensional Specification of Universal Quantification in a Graphical Database Query Language.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	graphical database query language, universal quantification, existential quantification, direct representation, two-dimensional translation, existentially quantified two-dimensional queries, formal specification, relational databases, computer graphics, query languages, database theory, relational queries
2	Shurug Al-Khalifa, Bin Liu 0002, H. V. Jagadish	Evaluating Universal Quantification in XML.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Query processing, Access methods, XML/XSL/RDF
2	Javier Álvez, Paqui Lucio	Equational Constraint Solving Via a Restricted Form of Universal Quantification.	FoIKS	2006	DBLP DOI BibTeX RDF	constraint satisfaction, equality, solver, answer, term algebra
2	Michael Thielscher	Handling Implication and Universal Quantification Constraints in FLUX.	CP	2005	DBLP DOI BibTeX RDF
2	Ralf Rantzau, Leonard D. Shapiro, Bernhard Mitschang, Quan Wang	Universal Quantification in Relational Databases: A Classification of Data and Algorithms.	EDBT	2002	DBLP DOI BibTeX RDF
2	Clara Nippl, Ralf Rantzau, Bernhard Mitschang	StreamJoin: A Generic Database Approach to Support the Class of Stream-Oriented Applications. (PDF / PS)	IDEAS	2000	DBLP DOI BibTeX RDF	StreamJoin, generic database, stream-oriented applications, universal quantification, economical resource utilization, database engine, data mining, data mining, pattern recognition, DBMS
2	Goetz Graefe, Richard L. Cole	Fast Algorithms for Universal Quantification in Large Databases.	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF
2	Claudio Fratarcangeli	Technique for Universal Quantification in SQL.	SIGMOD Record	1991	DBLP DOI BibTeX RDF	SQL
1	Amy P. Felty, Alberto Momigliano	Reasoning with hypothetical judgments and open terms in hybrid.	PPDP	2009	DBLP DOI BibTeX RDF	name-binding, induction, logical frameworks, higher-order abstract syntax, interactive theorem proving
1	Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca	Intersection, Universally Quantified, and Reference Types.	CSL	2009	DBLP DOI BibTeX RDF
1	Hugo Herbelin, Gyesik Lee	Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus.	WoLLIC	2009	DBLP DOI BibTeX RDF	Intuitionistic Gentzen-style sequent calculus, completeness, cut-elimination, Kripke semantics
1	Herman Geuvers, Iris Loeb	Deduction Graphs with Universal Quantification.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv	Thread Quantification for Concurrent Shape Analysis.	CAV	2008	DBLP DOI BibTeX RDF
1	Antonio Badia, Brandon Debes, Bin Cao	An Implementation of a Query Language with Generalized Quantifiers.	ER	2008	DBLP DOI BibTeX RDF
1	Mohammad Reza Mousavi, Michel A. Reniers	A Congruence Rule Format with Universal Quantification.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	David Saff	Theory-infected: or how i learned to stop worrying and love universal quantification.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	testing, theories, JUnit, partial specification
1	Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko	Path invariants.	PLDI	2007	DBLP DOI BibTeX RDF	invariant synthesis, formal verification, software model checking, predicate abstraction, abstraction refinement
1	Carlos Olarte, Catuscia Palamidessi, Frank Valencia	Universal Timed Concurrent Constraint Programming.	ICLP	2007	DBLP DOI BibTeX RDF
1	Karen Zee, Viktor Kuncak, Michael Taylor, Martin C. Rinard	Runtime Checking for Program Verification.	RV	2007	DBLP DOI BibTeX RDF
1	Thomas Ball, Orna Kupferman	Better Under-Approximation of Programs by Hiding Variables.	VMCAI	2007	DBLP DOI BibTeX RDF
1	Esteban Zimányi	Temporal aggregates and temporal universal quantification in standard SQL.	SIGMOD Record	2006	DBLP DOI BibTeX RDF	temporal aggregates, temporal universal quantifiers, SQL, temporal databases
1	Aaron R. Bradley, Zohar Manna, Henny B. Sipma	What's Decidable About Arrays?	VMCAI	2006	DBLP DOI BibTeX RDF
1	Martin Hofmann	Proof-Theoretic Approach to Description-Logic.	LICS	2005	DBLP DOI BibTeX RDF
1	Kameshwar Chandrasekar, Michael S. Hsiao	Q-PREZ: QBF Evaluation Using Partition, Resolution and Elimination with ZBDDs.	VLSI Design	2005	DBLP DOI BibTeX RDF
1	Silvia Crafa, Sabina Rossi	A Theory of Noninterference for the pi-Calculus.	TGC	2005	DBLP DOI BibTeX RDF
1	Patrick Cousot	Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Ralf Rantzau	Frequent Itemset Discovery with SQL Using Universal Quantification.	Database Support for Data Mining Applications	2004	DBLP DOI BibTeX RDF
1	Renaud De Landtsheer	Solving CSP Including a Universal Quantification.	MOZ	2004	DBLP DOI BibTeX RDF
1	Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano	Exploiting Symmetries for Testing Equivalence in the Spi Calculus.	ATVA	2004	DBLP DOI BibTeX RDF
1	Paolo Baldan, Andrea Bracciali, Roberto Bruni	Symbolic Equivalences for Open Systems.	Global Computing	2004	DBLP DOI BibTeX RDF
1	Boris Motik, Ulrike Sattler, Rudi Studer	Query Answering for OWL-DL with Rules.	International Semantic Web Conference	2004	DBLP DOI BibTeX RDF
1	Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl	The Succinct Solver Suite.	TACAS	2004	DBLP DOI BibTeX RDF
1	Ralf Rantzau, Leonard D. Shapiro, Bernhard Mitschang, Quan Wang	Algorithms and applications for universal quantification in relational databases.	Inf. Syst.	2003	DBLP DOI BibTeX RDF
1	Vincent Simonet	An extension of HM(X) with bounded existential and universal data-types.	ICFP	2003	DBLP DOI BibTeX RDF	existential and universal data-types, structural subtyping, constraint-based type inference
1	Keith Golden, Jeremy Frank	Universal Quantification in a Constraint-Based Planner.	AIPS	2002	DBLP BibTeX RDF
1	Marco Bozzano, Giorgio Delzanno	Automated protocol verification in linear logic.	PPDP	2002	DBLP DOI BibTeX RDF	model checking, linear logic, authentication protocols, bottom-up evaluation
1	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-time temporal logic.	J. ACM	2002	DBLP DOI BibTeX RDF	temporaxl logic, model checking, games, Alternation
1	Georg Gottlob, Erich Grädel, Helmut Veith	Datalog LITE: a deductive query language with linear time model checking.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	guarded logics, verification, Complexity, databases, temporal logics
1	David von Oheimb, Tobias Nipkow	Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited.	FME	2002	DBLP DOI BibTeX RDF	Java, Hoare logic, side effects, dynamic binding, Isabelle/HOL, auxiliary variables
1	Brigitte Pientka	A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming.	ICLP	2002	DBLP DOI BibTeX RDF
1	Joseph Gil, John Howse, Stuart Kent	Towards a Formalization of Constraint Diagrams.	HCC	2001	DBLP DOI BibTeX RDF	formal methods, software specification, Visual formalisms
1	Giorgio Delzanno	Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Jussi Rintanen	Partial Implicit Unfolding in the Davis-Putnam Procedure for Quantified Boolean Formulae.	LPAR	2001	DBLP DOI BibTeX RDF
1	Daniel M. Berry, Erik Kamsties	The Dangerous 'All' in Specifications.	IWSSD	2000	DBLP BibTeX RDF	universal quantifier, indicative sentence, optative sentence, dangerous, true, false
1	Gérard Boudol, Silvano Dal-Zilio	An Interpretation of Extensible Objects.	FCT	1999	DBLP DOI BibTeX RDF
1	Leonidas Fegaras	Query Unnesting in Object-Oriented Databases.	SIGMOD Conference	1998	DBLP DOI BibTeX RDF
1	Jens Claußen, Alfons Kemper, Guido Moerkotte, Klaus Peithner	Optimizing Queries with Universal Quantification in Object-Oriented and Object-Relational Databases.	VLDB	1997	DBLP BibTeX RDF
1	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-time Temporal Logic.	FOCS	1997	DBLP DOI BibTeX RDF
1	Daniel S. Korn, Christoph Kreitz	Deciding Intuitionistic Propositional Logic via Translation into Classical Logic.	CADE	1997	DBLP DOI BibTeX RDF
1	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-Time Temporal Logic.	COMPOS	1997	DBLP DOI BibTeX RDF
1	Jens Palsberg, Scott F. Smith	Constrained Types and Their Expressiveness.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	constraints
1	Chris Verhoef	A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Mario Coppo, Paola Giannini	A Complete Type Inference Algorithm for Simple Intersection Types.	CAAP	1992	DBLP DOI BibTeX RDF
1	Dale Miller	The pi-Calculus as a Theory in Linear Logic: Preliminary Results.	ELP	1992	DBLP DOI BibTeX RDF
1	Allen Van Gelder, Rodney W. Topor	Safety and Translation of Relational Calculus Queries.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	allowed formulas, evaluable formulas, existential normal, relational algebra, query translation, relational calculus, domain independence
1	Amy P. Felty	A Logic Programming Approach to Implementing Higher-Order Term Rewriting.	ELP	1991	DBLP DOI BibTeX RDF
1	Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini	Universal Quantification by Case Analysis.	ECAI	1990	DBLP BibTeX RDF
1	Kyu-Young Whang, Ashok Malhotra, Gary H. Sockut, Luanne M. Burns	Supporting Universal Quantification in a Two-Dimensional Database Query Language.	ICDE	1990	DBLP DOI BibTeX RDF
1	Joseph A. Goguen	Proving and Rewriting.	ALP	1990	DBLP DOI BibTeX RDF
1	Mauro Negri, Giuseppe Pelagatti, Licia Sbattella	Semantics and Probelms of Universal Quantification in SQL.	Comput. J.	1989	DBLP DOI BibTeX RDF
1	Dale Miller	Lexical Scoping as Universal Quantification.	ICLP	1989	DBLP BibTeX RDF
1	Cornelia Zelinsky-Wibbelt	Universal quantification in machine translation.	COLING	1988	DBLP BibTeX RDF
1	Amy P. Felty, Dale Miller	Specifying Theorem Provers in a Higher-Order Logic Programming Language.	CADE	1988	DBLP DOI BibTeX RDF
1	Allen Van Gelder, Rodney W. Topor	Safety and Correct Translation of Relational Calculus Formulas.	PODS	1987	DBLP DOI BibTeX RDF
1	Matthias Jarke, Jürgen Koch	Range Nesting: A Fast Method to Evaluate Quantified Queries.	SIGMOD Conference	1983	DBLP DOI BibTeX RDF