|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 422 occurrences of 293 keywords
|
|
|
Results
Found 837 publication records. Showing 837 according to the selection in the facets
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 |
|
Displaying result #801 - #837 of 837 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9] |
|