close
1.

図書

図書
Mogens Nielsen, Wolfgang Thomas (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  viii, 509 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1414
所蔵情報: loading…
2.

図書

図書
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
3.

図書

図書
Jörg Flum, Mario Rodríguez-Artalejo (eds.)
出版情報: Berlin : Springer, c1999  xi, 580 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1683
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Topological Queries in Spatial Databases / V. Vianu
The Consistency Dimension, Compactness, and Query Learning / J.L. Balcázar
Descriptive and Parameterized Complexity / M. Grohe
Logical Specification of Operational Semantics / P.D. Mosses
Constraint-Based Analysis of Broadcast Protocols / G. Delzanno ; J. Esparza ; A. Podelski
Contributed Papers
Descriptive Complexity, I
Descriptive Complexity Theory for Constraint Databases / E. Grädel ; S. Kreutzer
Applicative Control and Computational Complexity / D. Leivant
Verification
Applying Rewriting Techniques to the Verification of Erlang Processes / T. Arts ; J. Giesl
Difference Decision Diagrams / J. Møller ; J. Lichtenberg ; H.R. Andersen ; H. Hulgaard
Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States / M. Fränzle
Verifying Liveness by Augmented Abstraction / Y. Kesten ; A. Pnueli
Temporal Logic
Signed Interval Logic / T.M. Rasmussen
Quantitative Temporal Logic / Y. Hirshfeld ; A. Rabinovich
An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces / V. Diekert ; P. Gastin
Lambda Calculus, Linear Logic
Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting / E. Bonelli
Closed Reductions in the λ-Calculus / M. Fernández ; I. Mackie
Kripke Resource Models of a Dependently-Typed, Bunched λ-Calculus / S. Ishtiaq ; D.J. Pym
A Linear Logical View of Linear Type Isomorphisms / V. Balat ; R. Di Cosmo
Logic Programming, Modal Logic, Description Logic
Choice Logic Programs and Nash Equilibria in Strategic Games / M. De Vos ; D. Vermeir
Resolution Method for Modal Logic with Well-Founded Frames / S. Hagihara ; N. Yonezaki
A NExpTime-Complete Description Logic Strictly Contained in C2 / S. Tobies
A Road-Map on Complexity for Hybrid Logics / C. Areces ; P. Blackburn ; M. Marx
Descriptive Complexity, II
MonadicNLIN and Quantifier-Free Reductions / C. Lautemann ; B. Weinzinger
Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games / J. Marcinkowski
Fixpoint Alternation and the Game Quantifier / J.C. Bradfield
Logic and Complexity
Lower Bounds for Space in Resolution / J. Torán
Program Schemes, Arrays, Lindstrom Quantifiers and Zero-One Laws / I.A. Stewart
Open Least Element Principle and Bounded Query Computation / L.D. Blekemishev
Lambda Calculus, Type Theory
A Universal Innocent Game Model for the Bohm Tree Lambda Theory / A.D. Ker ; H. Nickau ; C.-H.L. Ong
Anti-Symmetry of Higher-Order Subtyping / A. Compagnoni ; H. Goguen
Safe Proof Checking in Type Theory with Y / H. Geuvers ; E. Poll ; J. Zwanenburg
Monadic Presentations of Lambda Terms Using Generalized Inductive Types / T. Altenkirch ; B. Reus
Linear Logic, Mu Calculus, Concurrency
A P-Time Completeness Proof for Light Logics / L. Roversi
On Guarding Nested Fixpoints / H. Seidl ; A. Neumann
A Logical Viewpoint on Process-Algebraic Quotients / A. Kučera
A Truly Concurrent Semantics for a Simple Parallel Programming Language / M. Mislove
Specification, Data Refinement
Specification Refinement with System F / J.E. Hannay
Pre-logical Relations / F. Honsell ; D. Sannella
Data-Refinement for Call-By-Value Programming Languages / Y. Kinoshita ; J. Power
Tutorials
Term Rewriting / A. Middeldorp
Interactive Theorem Proving Using Type Theory / D.J. Howe
Author Index
Invited Papers
Topological Queries in Spatial Databases / V. Vianu
The Consistency Dimension, Compactness, and Query Learning / J.L. Balcázar
4.

図書

図書
Dirk van Dalen, Marc Bezem (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  viii, 471 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1258
所蔵情報: loading…
5.

図書

図書
Hans Kleine Büning, (ed.)
出版情報: Berlin ; Tokyo : Springer, c1996  viii, 485 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1092
所蔵情報: loading…
6.

図書

図書
Leszek Pacholski, Jerzy Tiuryn (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995  ix, 541 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 933
所蔵情報: loading…
7.

図書

図書
Egon Börger, Yuri Gurevich, Karl Meinke (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  viii, 336 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 832
所蔵情報: loading…
8.

図書

図書
E. Börger ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  viii, 439 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 702
所蔵情報: loading…
9.

図書

図書
E. Börger ... [et al.], eds
出版情報: Berlin ; New York : Springer-Verlag, c1992  viii, 428 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 626
所蔵情報: loading…
10.

図書

図書
E. Börger ... [et al.], eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  viii, 399 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 533
所蔵情報: loading…
11.

図書

図書
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  vi, 437 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 440
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼