Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Helena Rasiowa |
Axiomatization and completeness of uncountably valued approximation logic. |
Stud Logica |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Beata Bugajska-Jaszczolt, Tadeusz Prucnal |
Axiomatization of the Logic Determined by the System of Natural Numbers with Identity. |
Reports Math. Log. |
1994 |
DBLP BibTeX RDF |
|
17 | Marcelo P. Fiore, Gordon D. Plotkin |
An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC |
LICS |
1994 |
DBLP DOI BibTeX RDF |
|
17 | S. K. Michael Wong, Zhiwei Wang |
On Axiomatization of Probabilistic Conditional Independencies. |
UAI |
1994 |
DBLP BibTeX RDF |
|
17 | Isidore Fleischer |
Completeness of the Infinitary Polyadic Axiomatization. |
Math. Log. Q. |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Igor Walukiewicz |
Gentzen-Type Axiomatization for PAL. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Bezalel Peleg |
An Axiomatization of the Core of Market Games: A Correction. |
Math. Oper. Res. |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Balázs Biró, Ildikó Sain |
Peano Arithmetic as Axiomatization of the Time Frame in Logics of Programs and in Dynamic Logics. |
Ann. Pure Appl. Log. |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Rob J. van Glabbeek |
A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Douglas R. Busch |
A Sequent Axiomatization of Three-valued Logic with Two Negations. |
LPNMR |
1993 |
DBLP BibTeX RDF |
|
17 | C. Lopez, Jean-Michel Morel |
Axiomatization of shape analysis and application to texture hyperdiscrimination. |
CVPR |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Serenella Cerrito |
A Linear Axiomatization of Negation as Failure. |
J. Log. Program. |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Jozef Hooman, S. Ramesh 0001, Willem P. de Roever |
A Compositional Axiomatization of Statecharts. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Kosta Dosen |
The first axiomatization of relevant logic. |
J. Philos. Log. |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Mark Reynolds 0001 |
An Axiomatization for Until and Since over the Reals without the IRR Rule. |
Stud Logica |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Anil Seth |
There is No Recursive Axiomatization for Feasible Functionals of Type~2 |
LICS |
1992 |
DBLP DOI BibTeX RDF |
|
17 | James Bret Michael, Edgar H. Sibley, Richard F. Baum, Fu Li |
On the Axiomatization of Security Policy: Some Tentative Observations about Logic Representation. |
DBSec |
1992 |
DBLP BibTeX RDF |
|
17 | Michal Krynicki, Hans-Peter Tuschik |
An Axiomatization of the Logic with the Rough Quantifier. |
J. Symb. Log. |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Shin'ichi Ykotota |
Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights II. |
Math. Log. Q. |
1991 |
DBLP DOI BibTeX RDF |
|
17 | S. K. Michael Wong, Yiyu Yao, Peter Bollmann, H. C. Burger |
Axiomatization of qualitative belief structure. |
IEEE Trans. Syst. Man Cybern. |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Roger D. Maddux |
The origin of relation algebras in the development and axiomatization of the calculus of relations. |
Stud Logica |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Robert F. Stärk |
A Complete Axiomatization of the Three-Valued Completion of Logic Programs. |
J. Log. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Dino Karabeg, Victor Vianu |
Simplification Rules and Complete Axiomatization for Relational Update Transactions. |
ACM Trans. Database Syst. |
1991 |
DBLP DOI BibTeX RDF |
performance |
17 | Don Pigozzi |
Equality-Test and If-Then-Else Algebras: Axiomatization and Specification. |
SIAM J. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Yong Sun |
Axiomatization of Calculus of Constructions. |
Constructivity in Computer Science |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Zoltán Ésik |
A note on the axiomatization of iteration theories. |
Acta Cybern. |
1990 |
DBLP BibTeX RDF |
|
17 | Michiel van Lambalgen |
The Axiomatization of Randomness. |
J. Symb. Log. |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Andrzej Zbrzezny |
The hilbert type axiomatization of some three-valued propositional logic. |
Math. Log. Q. |
1990 |
DBLP DOI BibTeX RDF |
|
17 | M. E. Adams, R. Cignolli |
A Note on the Axiomatization of Equational Classes of n-Valued Lukasiewicz Algebras. |
Notre Dame J. Formal Log. |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Alberto Zanardo |
Axiomatization of 'Peircean' branching-time logic. |
Stud Logica |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Burghard Herrmann, Wolfgang Rautenberg |
Axiomatization of the De Morgan type rules. |
Stud Logica |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Ambuj K. Singh |
An Axiomatization of Wait-Freedom and Low-Atomicity. |
ICCI |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Shin'ichi Yokota |
Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I. |
Math. Log. Q. |
1989 |
DBLP DOI BibTeX RDF |
|
17 | O. M. Anshakov, V. K. Finn, D. P. Skvortsov |
On axiomatization of many-valued logics associated with formalization of plausible reasonings. |
Stud Logica |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Bezalel Peleg |
An Axiomatization of the Core of Market Games. |
Math. Oper. Res. |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Wolfgang Rautenberg |
Axiomatization of semigroup consequences. |
Arch. Math. Log. |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types. |
TAPSOFT, Vol.1 |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Madhavan Mukund, P. S. Thiagarajan |
An Axiomatization of Event Structures. |
FSTTCS |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Wojciech Zielonka |
Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String. |
Math. Log. Q. |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Roman Tuziak |
An axiomatization of the finite-valued Łukasiewicz calculus. |
Stud Logica |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Miklós Bartha |
A finite axiomatization of flowchart schemes. |
Acta Cybern. |
1987 |
DBLP BibTeX RDF |
|
17 | Andrzej Szalas |
Arithmetical Axiomatization of First-Order Temporal Logic. |
Inf. Process. Lett. |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Zdzislaw Dywan |
On a Method of Axiomatization of Some Propositional Calculi. |
Math. Log. Q. |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Miklós Bartha |
An Equational Axiomatization of Systolic Systems. |
Theor. Comput. Sci. |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Irène Guessarian, José Meseguer 0001 |
On the Axiomatization of "If-Then-Else". |
SIAM J. Comput. |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu |
Axiomatization and Simplification Rules for Relational Transactions. |
PODS |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Daniel H. Cohen |
A new axiomatization of Belnap's conditional assertion. |
Notre Dame J. Formal Log. |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Alberto Zanardo |
A finite axiomatization of the set of strongly valid Ockhamist formulas. |
J. Philos. Log. |
1985 |
DBLP DOI BibTeX RDF |
|
17 | John Grant, Jack Minker |
Normalization and Axiomatization for Numerical Dependencies |
Inf. Control. |
1985 |
DBLP DOI BibTeX RDF |
|
17 | Jacek K. Kabzinski |
An axiomatization of the equivalential fragment of the three-valued logic of Lukasiewicz. |
Notre Dame J. Formal Log. |
1984 |
DBLP DOI BibTeX RDF |
|
17 | François Bancilhon, Philippe Richard |
A Sound and Complete Axiomatization of Embedded Cross Dependencies. |
Theor. Comput. Sci. |
1984 |
DBLP DOI BibTeX RDF |
|
17 | Bernhard Thalheim |
A compelte axiomatization for full join dependencies in relations. |
Bull. EATCS |
1984 |
DBLP BibTeX RDF |
|
17 | Werner Damm |
An axiomatization of low-level parallelism in microarchitectures. |
MICRO |
1984 |
DBLP BibTeX RDF |
|
17 | Daniel Leivant |
The Optimality of Induction as an Axiomatization of Arithmetic. |
J. Symb. Log. |
1983 |
DBLP DOI BibTeX RDF |
|
17 | Charles Zaiontz |
Axiomatization of the Monadic Theory of Ordinals < ω2. |
Math. Log. Q. |
1983 |
DBLP DOI BibTeX RDF |
|
17 | Steven T. Kuhn |
An axiomatization of predicate functor logic. |
Notre Dame J. Formal Log. |
1983 |
DBLP DOI BibTeX RDF |
|
17 | Douglas R. Troeger |
An Axiomatization of D-scheme Strong Equivalence. |
J. Comput. Syst. Sci. |
1983 |
DBLP DOI BibTeX RDF |
|
17 | Krzysztof R. Apt, Carole Delporte |
An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract). |
ICALP |
1983 |
DBLP DOI BibTeX RDF |
|
17 | Werner Damm, Bernhard Josko |
A Sound and Relatively* Compete Axiomatization of Clarke's Language L4. |
Logic of Programs |
1983 |
DBLP DOI BibTeX RDF |
|
17 | Norman Feldman |
Axiomatization of Polynomial Substitution Algebras. |
J. Symb. Log. |
1982 |
DBLP DOI BibTeX RDF |
|
17 | Bengt G. Lundberg |
An Axiomatization of Events. |
BIT |
1982 |
DBLP DOI BibTeX RDF |
|
17 | Fereidoon Sadri, Jeffrey D. Ullman |
Template Dependencies: A Large Class of Dependencies in Relational Databases and Its Complete Axiomatization. |
J. ACM |
1982 |
DBLP DOI BibTeX RDF |
|
17 | Edward Sciore |
A Complete Axiomatization of Full Join Dependencies. |
J. ACM |
1982 |
DBLP DOI BibTeX RDF |
|
17 | Dominique Thon |
An axiomatization of the Gini coefficient. |
Math. Soc. Sci. |
1982 |
DBLP DOI BibTeX RDF |
|
17 | Philippe Darondeau |
An enlarged definition and complete axiomatization of observational congruence of finite processes. |
Symposium on Programming |
1982 |
DBLP DOI BibTeX RDF |
|
17 | Zoltán Ésik |
An Axiomatization of Regular Forests in the Language of Algebraic Theories with Iteration. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
17 | Peter E. Lauer |
Towards an axiomatization of value theory. |
Notre Dame J. Formal Log. |
1980 |
DBLP DOI BibTeX RDF |
|
17 | Mars K. Valiev |
On axiomatization of process logic. |
Logic of Programs |
1980 |
DBLP DOI BibTeX RDF |
|
17 | Grazyna Mirkowska |
Complete Axiomatization of Algorithmic Properties of Program Schemes with Bounded Nondeterministic Interpretations |
STOC |
1980 |
DBLP DOI BibTeX RDF |
|
17 | Fereidoon Sadri, Jeffrey D. Ullman |
A Complete Axiomatization for a Large Class of Dependencies in Relational Databases |
STOC |
1980 |
DBLP DOI BibTeX RDF |
|
17 | Lennart Åqvist |
A conjectured axiomatization of two-dimensional Reichenbachian tense logic. |
J. Philos. Log. |
1979 |
DBLP DOI BibTeX RDF |
|
17 | Mars K. Valiev |
On Axiomatization of Deterministic Propositional Dynamic Logic. |
MFCS |
1979 |
DBLP DOI BibTeX RDF |
|
17 | P. A. Subrahmanyam |
On a finite axiomatization of the data type L. |
ACM SIGPLAN Notices |
1978 |
DBLP DOI BibTeX RDF |
|
17 | Boleslaw Sobocinski |
A new axiomatization of the mixed associative Newman algebras. |
Notre Dame J. Formal Log. |
1978 |
DBLP DOI BibTeX RDF |
|
17 | Gregory H. Moore |
The origins of Zermelo's axiomatization of set theory. |
J. Philos. Log. |
1978 |
DBLP DOI BibTeX RDF |
|
17 | James H. Schmerl |
An Axiomatization for a Class of Two-Cardinal Models. |
J. Symb. Log. |
1977 |
DBLP DOI BibTeX RDF |
|
17 | John Neil Martin |
An axiomatization of Herzberger's 2-dimensional presuppositional semantics. |
Notre Dame J. Formal Log. |
1977 |
DBLP DOI BibTeX RDF |
|
17 | Catriel Beeri, Ronald Fagin, John H. Howard |
A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations. |
SIGMOD Conference |
1977 |
DBLP DOI BibTeX RDF |
|
17 | Jan A. Bergstra, Alexander Ollongren, Theo P. van der Weide |
An Axiomatization of the Rational Data Objects. |
FCT |
1977 |
DBLP DOI BibTeX RDF |
|
17 | Maarten M. Fokkinga |
Axiomatization of Declarations and the Formal Treatment of an Escape Construct. |
Formal Description of Programming Concepts |
1977 |
DBLP BibTeX RDF |
|
17 | Boleslaw Sobocinski |
A short equational axiomatization of modular ortholattices. |
Notre Dame J. Formal Log. |
1976 |
DBLP DOI BibTeX RDF |
|
17 | Boleslaw Sobocinski |
A short equational axiomatization of orthomodular lattices. |
Notre Dame J. Formal Log. |
1976 |
DBLP DOI BibTeX RDF |
|
17 | Thomas W. Scharle |
Axiomatization of fragments of S5. |
Notre Dame J. Formal Log. |
1975 |
DBLP DOI BibTeX RDF |
|
17 | Gerd Wechsung |
The Axiomatization Problem of a Theory of Linear Languages. |
MFCS |
1974 |
DBLP DOI BibTeX RDF |
|
17 | Boleslaw Sobocinski |
Errata: "An equational axiomatization of associative Newman algebras". |
Notre Dame J. Formal Log. |
1973 |
DBLP BibTeX RDF |
|
17 | Boleslaw Sobocinski |
A new axiomatization of modal system K1.2. |
Notre Dame J. Formal Log. |
1973 |
DBLP DOI BibTeX RDF |
|
17 | George Epstein |
An Equational Axiomatization for the Disjoint System of Post Algebras. |
IEEE Trans. Computers |
1973 |
DBLP DOI BibTeX RDF |
|
17 | Boleslaw Sobocinski |
An equational axiomatization of associative Newman algebras. |
Notre Dame J. Formal Log. |
1972 |
DBLP DOI BibTeX RDF |
|
17 | Boleslaw Sobocinski |
An equational axiomatization and a semi-lattice theoretical characterization of mixed associative Newman algebras. |
Notre Dame J. Formal Log. |
1972 |
DBLP DOI BibTeX RDF |
|
17 | Charles F. Kielkopf |
Kripke's axiomatization of S2. |
Notre Dame J. Formal Log. |
1972 |
DBLP DOI BibTeX RDF |
|
17 | Robert John Ackermann |
Matrix satisfiability and axiomatization. |
Notre Dame J. Formal Log. |
1971 |
DBLP DOI BibTeX RDF |
|
17 | Nuel Belnap, Storrs McCall |
Every functionally complete m-valued logic has a Post-complete axiomatization. |
Notre Dame J. Formal Log. |
1970 |
DBLP DOI BibTeX RDF |
|
17 | Wilson E. Singletary |
Results regarding the axiomatization of partial propositional calculi. |
Notre Dame J. Formal Log. |
1968 |
DBLP DOI BibTeX RDF |
|
17 | Wilson E. Singletary |
A Note on Finite Axiomatization of Partial Propositional Calculi. |
J. Symb. Log. |
1967 |
DBLP DOI BibTeX RDF |
|
17 | John Thomas Canty |
A note on the axiomatization of Rubin's system (S). |
Notre Dame J. Formal Log. |
1965 |
DBLP DOI BibTeX RDF |
|
17 | Thomas W. Scharle |
Axiomatization of propositional calculus with Sheffer functors. |
Notre Dame J. Formal Log. |
1965 |
DBLP DOI BibTeX RDF |
|
17 | R. A. Bull |
An axiomatization of Prior's modal calculus Q. |
Notre Dame J. Formal Log. |
1964 |
DBLP DOI BibTeX RDF |
|
17 | Louise Schmir Hay |
Axiomatization of the Infinite-Valued Predicate Calculus. |
J. Symb. Log. |
1963 |
DBLP DOI BibTeX RDF |
|
17 | Boleslaw Sobocinski |
An axiom-system for {K;N}-propositional calculus related to Simons' axiomatization of S3. |
Notre Dame J. Formal Log. |
1962 |
DBLP DOI BibTeX RDF |
|
17 | Boleslaw Sobocinski |
A contribution to the axiomatization of Lewis' system S5. |
Notre Dame J. Formal Log. |
1962 |
DBLP DOI BibTeX RDF |
|