Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBulletin of the IGPL, Volume 2
Volume 2, Number 1, March 1994
- Dov M. Gabbay, Ruy J. G. B. de Queiroz:
Speed with Quality. 1-2 - Patrick Blackburn
, Wilfried Meyer-Viol:
Linguistics, Logic and Finite Trees. 3-29 - Yde Venema:
A Modal Logic for Quantification and Substitution. 31-45 - Yaroslav Shramko:
Relevant Variants of Intuitionistic Logic. 47-53 - Josep Maria Font, Ramon Jansana:
On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics. 55-76 - Vladimir Alexiev:
Applications of Linear Logic to Computation: An Overview. 77-107
Volume 2, Number 2, September 1994
- Greg Restall:
A Useful Substructural Logic. 137-148 - Donald Gillies:
A Rapprochement between Deductive and Inductive Logic. 149-166 - Torbjörn Keisu:
Finite and Rational Tree Constraints. 167-204 - Neil V. Murray, Erik Rosenthal:
On the Computational Intractabilityof Analytic Tableau Methods. 205-228 - Grigoris Antoniou, Elmar Langetepe:
Applying SLD-resolution to a class of non-Horn logic programs. 229-241 - Sven Ove Hansson:
Review of Deontic Logic in Computer Science: Normative System Specification, John-Jules Ch. Meyer and Roel J. Wieringa (eds.), John Wiley & Sons, Chichester 1993. 249-251 - Jürgen Dix:
Review of Nonmonotonic Logic by W. Marek and M. Truszscynski, Springer, 1993. 251-253
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 20: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:
