close
1.

図書

図書
Zhenjiang Hu, Mario Rodríguez-Artalejo (eds.)
出版情報: Berlin : Springer, c2002  x, 304 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2441
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Formal Methods in CafeOBJ / Kokichi Futatsugi
The Essence of XML (Preliminary Version) / Jérôme Siméon ; Philip Wadler
To the Gates of HAL: A HAL Tutorial / María Garía de la Banda ; Bart Demoen ; Kim Marriott ; Peter J. Stuckey
Tutorial Paper
Functional Logic Design Patterns / Sergio Antoy ; Michael Hanus
Constraints
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints / Klaus Meer
Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms / Miguel García-Díaz ; Susana Nieva
Program Transformation and Analysis
On the Correctness of the Factoring Transformation / Pascual Julián Iranzo
Lambda-Lifting in Quadratic Time / Olivier Danvy ; Ulrik P. Schultz
Semantics
The Well-Founded Semantics in Normal Logic Programs with Uncertainty / Yann Loyer ; Umberto Straccia
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus / Masahito Hasegawa
Coinductive Interpreters for Process Calculi / Luís Soares Barbosa ; José Nuno Oliveira
Rewriting
Descendants and Head Normalization of Higher-Order Rewrite Systems / Hideto Kasuya ; Masahiko Sakai ; Kiyoshi Agusa
Narrowing Failure in Functional Logic Programming / Francisco Javier López-Fraguas ; Jaime Sánchez-Hernández
Compilation Techniques
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation / Mikael Pettersson ; Konstantinos Sagonas ; Erik Johansson
Dynamic-Cut with Definitional Trees / Rafael Caballero
Programming Methodology
The Head Condition and Polymorphic Recursion / Jan-Georg Smaus
Structural Abstraction and Application in Logic Programming / António Porto
VM?: A Functional Calculus for Scientific Discovery / Eijiro Sumii ; Hideo Bannai
Author Index
Invited Papers
Formal Methods in CafeOBJ / Kokichi Futatsugi
The Essence of XML (Preliminary Version) / Jérôme Siméon ; Philip Wadler
2.

図書

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

図書

図書
Michael Hanus, Mario Rodríguez-Artalejo (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  viii, 344 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1139
所蔵情報: loading…
4.

図書

図書
Giorgio Levi, Mario Rodríguez-Artalejo (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  viii, 304 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 850
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼