Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 41
Volume 41, 1995
- Thomas G. McLaughlin:
Existentially Complete Nerode Semirings. 1-14 - Michael Zakharyaschev, Alexander Alekseev:
All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable. 15-23 - Antonio J. Rodríguez Salas, Francisco Miguel García-Olmedo:
Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity. 24-38 - Akira Kanda:
Acceptable Numerations of Morphisms and Myhill-Shepherdson Property. 39-48 - Kurt Engesser:
Some Connections between Topological and Modal Logic. 49-64 - Giovanna D'Agostino, Mario Magnago:
Complete, Recursively Enumerable Relations in Arithmetic. 65-72 - Heinrich Wansing
:
Tarskian Structured Consequence Relations and Functional Completeness. 73-92 - Bruno Poizat, Tolende G. Mustafin:
Polygones. 93-110 - Gregory L. McColm:
Dimension Versus Number of Variables, and Connectivity, too. 111-134 - Teresa Bigorajska:
On Sigma1-definable Functions Provably Total in I-Pi1-. 135-137 - Henryk Kotlarski, Bozena Piekart:
Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts. 138-142 - Frank P. Weber:
Invariant Constructions of Simple and Maximal Sets. 143-160 - Ruggero Ferro, Stefano Baratella:
Non Standard Regular Finite Set Theory. 161-172 - Stanley Burris:
Polynomial Time Uniform Word Problems. 173-182 - Hisato Muraki:
Local Density of Kleene Degrees. 183-189 - Klaus Denecke:
Hybrid Identities and Hybrid Equational Logic. 190-196 - Hajnal Andréka, Ivo Düntsch, István Németi:
Binary Relations and Permutation Groups. 197-216 - Maciej Kandulski:
On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars. 217-235 - Esko Turunen:
Well-Defined Fuzzy Sentential Logic. 236-248 - Antonio J. Rodríguez Salas, Francisco Miguel García-Olmedo:
A Structure Theorem for Free Temporal Algebras. 249-256 - Peter Zahn:
A Nonstandard Delta Function in a Predicative Theory. 257-260 - Dietmar Schuchardt, Hans-Dietrich Hecker:
Two NP-Hard Art-Gallery Problems for Ortho-Polygons. 261-267 - Gérard Lopez, Youssef Boudabbous:
La relation différence et l'anti-isomorphie. 268-280 - Klaus Meer:
On the Relations Between Discrete and Continuous Complexity Theory. 281-286 - Allyson Tripp, Alistair H. Lachlan:
Finite Homogeneous 3-Graphs. 287-306 - Valeriy K. Bulitko:
On Some Complexity Characteristics of Immune Sets. 307-313 - Erik Palmgren:
The Friedman-Translation for Martin-Löf's Type Theory. 314-326 - Jeffrey B. Remmel, Douglas A. Cenzer:
Feasible Graphs and Colorings. 327-352 - Akito Tsuboi, Koichiro Ikeda:
Almost Total Elementary Maps. 353-361 - Sven Ove Hansson:
Some Solved and Unsolved Remainder Equations. 362-368 - Stan J. Surma:
An Axiomatisation of the Conditionals of Post's Many Valued Logics. 369-372 - Alberto Marcone:
The Set of Better Quasi Orderings is Pi21-complete. 373-383 - Victor Pambuccian:
Ternary Operations as Primitive Notions for Constructive Plane Geometry VI. 384-394 - Heinrich Rolletschek:
Some New Lattice Constructions in High R. E. Degrees. 395-430 - Daniel Dzierzgowski:
Constants in Kripke Models for Intuitionistic Logic. 431-441 - Alexej P. Pynko:
Characterizing Belnap's Logic via De Morgan's Laws. 442-454 - Dany Serrato, Jean-Pierre Olivier:
Initial Objects, Universal Objects for Squares, Equivalences and Congruences in Relation Semi-Algebras and Algebras. 455-475 - Kees Trautwein, Erik Aarts:
Non-associative Lambek Categorial Grammar in Polynomial Time. 476-484 - Regina Aragón:
Some Boolean Algebras with Finitely Many Distinguished Ideals I. 485-504 - Karim Nour:
A General Type for Storage Operators. 505-514 - Grzegorz Michalski:
Relatively Recursively Enumerable Versus Relatively Sigma1 in Models of Peano Arithmetic. 515-522 - David DeVidi:
Intuitionistic epsilon- and tau-calculi. 523-546 - Maurizio Fattorosi-Barnaba, Silvano Grassotti:
An Infinitary Graded Modal Logic (Graded Modalities VI). 547-563 - Charles G. Morgan:
A Gap Cohomology Group. 564-570
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
