close
1.

図書

図書
Georg Gottlob, Moshe Y. Vardi, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995  xi, 454 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 893
所蔵情報: loading…
2.

図書

図書
Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  viii, 348 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1289
所蔵情報: loading…
3.

図書

図書
A. Pirotte, C. Delobel, G. Gottlob (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  xii, 551 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 580
所蔵情報: loading…
4.

図書

図書
G. Gottlob, W. Nejdl (eds)
出版情報: Berlin ; New York : Springer-Verlag, c1990  ix, 260 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 462 . Lecture notes in artifitial intelligence
所蔵情報: loading…
5.

図書

図書
Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  xi, 348 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 713
所蔵情報: loading…
6.

図書

図書
Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.)
出版情報: Berlin ; New York : Springer, c1999  x, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1584
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Trakhtenbrot Theorem and Fuzzy Logic / P. Hajek
Descriptive Complexity, Lower Bounds and Linear Time / Th. Schwentick
Testing of Finite State Systems / M. Yannakakis ; D. Lee
Contributed Papers
On the Power of Quantifiers in First-Order Algebraic Specification / D. Kempe ; A. Schönegge
On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases / F. Giannotti ; G. Manco ; M. Nanni ; D. Pedreschi
Revision Programming = Logic Programming + Integrity Constraints / V. Marek ; I. Pivkina ; M. Truszczynski
Quantifiers and the System KE: Some Surprising Results / U. Egly
Choice Construct and Lindström Logics / H. K. Hoang
Monadic NP and Graph Minors / M. Kreidler ; D. Seese
Invariant Definability and P/poly / J.A. Makowsky
Computational Complexity of Ehrenfeucht-Fra¿isse Games on Finite Structures / E. Pezzoli
An Upper Bound for Minimal Resolution Refutations / H. Kleine Büning
On an Optimal Deterministic Algorithm for SAT / Z. Sadowski
Characteristic Properties of Majorant-Computability over the Reals / M.V. Korovina ; O.V. Kudinov
Theorems of Péter and Parsons in Computer Programming / J. Komara ; P.J. Voda
Kripke, Belnap, Urquhart and Relevant Decidability & Complexity / J. Riche ; R.K. Meyer
Existence and Uniqueness of Normal Forms in Pure Type Systems with βη- conversion / G. Barthe
Normalization of Typable Terms by Superdevelopments / Z. Khasidashvili ; A. Piperno
Subtyping Functional + Nonempty Record Types / S. Vorobyov
Monotone Fixed-Point Types and Strong Normalization / R. Matthes
Morphisms and Partitions of V-sets / R. Statman
Computational Adequacy in an Elementary Topos / A. K. Simpson
Logical Relations and Inductive/Coinductive Types / Th. Altenkirch
On the Complexity of H-Subsumption / R. Pichler
Complexity Classes and Rewrite Systems with Polynomial Interpretation / G. Bonfante ; A. Cichon ; JY. Marion ; H. Touzet
RPO Constraint Solving Is in NP / P. Narendran ; M. Rusinowitch ; R. Verma
Quantifier Elimination in Fuzzy Logic / M. Baaz ; H. Veith
Many-Valued First-Order Logics with Probabilistic Semantics / Th. Lukasiewicz
Author Index
Invited Papers
Trakhtenbrot Theorem and Fuzzy Logic / P. Hajek
Descriptive Complexity, Lower Bounds and Linear Time / Th. Schwentick
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼