Search results for "axiomatization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Padmanabhan Krishnan	A Semantics for Multiprocessor Systems.	ESOP	1992	DBLP DOI BibTeX RDF
10	Michel Billaud	Axiomatizations of Backtracking.	STACS	1992	DBLP DOI BibTeX RDF	foundations of logic programming, equivalence of program schemes, Prolog, backtracking, depth-first search, algebraic semantics, semantics of programming languages
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	Raymond Reiter	On Formalizing Database Updates: Preliminary Report.	EDBT	1992	DBLP DOI BibTeX RDF
10	Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè	A Unified High-Level Petri Net Formalism for Time-Critical Systems.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	environment relationship nets, time-critical systems, ER nets, time notation, specification support environment, formal specification, Petri nets, software tools, timing, high-level Petri net
10	Philippe Chatalic, Christine Froidevaux	Graded Logics: A Framework for Uncertain and Defeasible Knowledge.	ISMIS	1991	DBLP DOI BibTeX RDF	Graded Logic, Knowledge Representation, Uncertainty, Default Logic, Defeasible Reasoning
10	Albert John Camilleri, Paola Inverardi, Monica Nesi	Combining Interaction and Automation in Process Algebra Verification.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
10	Luca Aceto	Full Abstraction for Series-Parallel Pomsets.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
10	Roland N. Bol, Jan Friso Groote	The Meaning of Negative Premises in Transition System Specifications.	ICALP	1991	DBLP DOI BibTeX RDF
10	Barbara Paech	Extending Temporal Logic by Explicit Concurrency.	MFCS	1991	DBLP DOI BibTeX RDF
10	Jozef Hooman	Compositional Verification of Real-Time Systems using Extended Hoare Triples.	REX Workshop	1991	DBLP DOI BibTeX RDF	Hoare triples, Verification, Real-time, Specification, Compositionality
10	Luca Aceto	On Relating Concurency and Nondeterminism.	MFPS	1991	DBLP DOI BibTeX RDF
10	Gian-Luigi Ferrari 0002, Ugo Montanari	The Observation Algebra of Spatial Pomsets.	CONCUR	1991	DBLP DOI BibTeX RDF
10	Paulo Urbano	Learning by Explanation of Failures.	EWSL	1991	DBLP DOI BibTeX RDF	failure, Explanation based learning
10	Neil Coburn, Grant E. Weddell	Path Constraints for Graph-Based Data Models: Towards a Unified Theory of Typing Constraints, Equations, and Functional Dependencies.	DOOD	1991	DBLP DOI BibTeX RDF	constraints, typing, functional dependencies, specialization, complex objects, object-oriented data models, equations
10	Stavros S. Cosmadakis, Paris C. Kanellakis, Moshe Y. Vardi	Polynomial-Time Implication Problems for Unary Inclusion Dependencies	J. ACM	1990	DBLP DOI BibTeX RDF
10	Igor Walukiewicz	Gentzen Type Axiomatizations for PAL.	MFCS	1990	DBLP DOI BibTeX RDF
10	Igor Walukiewicz	Decision Procedure for Checking Validity of PAL Formulas.	IMYCS	1990	DBLP DOI BibTeX RDF
10	Rob J. van Glabbeek	The Linear Time-Branching Time Spectrum (Extended Abstract).	CONCUR	1990	DBLP DOI BibTeX RDF
10	Rance Cleaveland, Bernhard Steffen	A Preorder for Partial Process Specifications.	CONCUR	1990	DBLP DOI BibTeX RDF
10	Ramesh Subrahmanyam	Complexity of Algebraic Specification.	FSTTCS	1990	DBLP DOI BibTeX RDF
10	Karl Aberer	Normal Forms in Function Fields.	ISSAC	1990	DBLP DOI BibTeX RDF
10	Ludmila Cherkasova, Alexander S. Filurin	Concurrent Processes with Synchronization: Net and Algebraic Approach.	Logic at Botik	1989	DBLP DOI BibTeX RDF
10	Philippe Darondeau, Pierpaolo Degano	Causal Trees.	ICALP	1989	DBLP DOI BibTeX RDF
10	Éric Badouel	Algebraic Closed Theories.	MFCS	1989	DBLP DOI BibTeX RDF
10	Werner Damm	A Microprogramming Logic.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	microprogramming logic, syntax-directed proof system, horizontal computer architectures, clocked microarchitectures, axiomatic definition, microoperations, low-level parallelism, dynamic conflicts, specification, computer architecture, theorem proving, specification languages, architecture description language, formal logic, microprogramming, AADL, timing behavior
10	Ludmila Cherkasova, Vadim E. Kotov	Descriptive and analytical process algebras.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	concurrent nondeterministic processes, non-actions, occurrence nets, A-nets, M-density, Petri nets, denotational semantics, partially ordered sets, true concurrency
10	Dominique Laurent 0001, Nicolas Spyratos	Introducing Negative Information in Relational Databases.	MFCS	1988	DBLP DOI BibTeX RDF
10	Michael Kifer, Raghu Ramakrishnan 0001, Abraham Silberschatz	An Axiomatic Approach to Deciding Query Safety in Deductive Databases.	PODS	1988	DBLP DOI BibTeX RDF
10	Gérard P. Huet	Induction Principles Formalized in the Calculus of Constructions.	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
10	Stephen D. Brookes	Semantically Based Axiomatics.	MFPS	1987	DBLP DOI BibTeX RDF
10	Stavros S. Cosmadakis, Paris C. Kanellakis	Functional and Inclusion Dependencies: A Graph Theoretic Approach.	PODS	1984	DBLP DOI BibTeX RDF
10	John C. Mitchell	Inference Rules for Functional and Inclusion Dependencies.	PODS	1983	DBLP DOI BibTeX RDF
10	Albert R. Meyer, John C. Mitchell	Axiomatic Definability and Completeness for Recursive Programs.	POPL	1982	DBLP DOI BibTeX RDF
10	Petr Hájek 0001	Making Dynamic Logic First-Order.	MFCS	1981	DBLP DOI BibTeX RDF
10	Greg Nelson, Derek C. Oppen	Fast Decision Procedures Based on Congruence Closure.	J. ACM	1980	DBLP DOI BibTeX RDF
10	Edward Sciore	Improving Semantic Specification in a Relational Database.	SIGMOD Conference	1979	DBLP DOI BibTeX RDF