close
1.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM Special Interest Group on Automata and Computability Theory, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from AT & T Research Bell Laboratories - Lucent Technologies DIMACS, IBM Almaden Research Center
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  xv, 535 p. ; 28 cm
所蔵情報: loading…
2.

雑誌

雑誌
Symposium on Logic in Computer Science
出版情報: Washington, D.C. : IEEE Computer Society Press, c1986-  v. ; 28 cm
巻次年月次: 1st (1986)-
所蔵情報: loading…
3.

図書

図書
sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1986  xi, 383 p. ; 28 cm
所蔵情報: loading…
4.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, Association for Symbolic Logic, Europe Association for Theoretical Computer Science
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1992  xiii, 471 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing, CWI, Amsterdam, Vrije Universiteit, Amsterdam ; in cooperation with Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science
出版情報: Los Alamitos, CA. ; Tokyo : IEEE Computer Society Press, c1991  xvii, 417 p. ; 28 cm
所蔵情報: loading…
6.

図書

図書
organized by Warsaw University ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with The Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from BRICS, University of Aarhus ... [et. al]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1997  xiv, 447 p. ; 28 cm
所蔵情報: loading…
7.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from Fields Institute for Research in Mathematical Sciences, Le Centre de Recherches Mathématiques (CRM), University of Ottawa
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2003  xiv, 393 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Conference Organization
Program Committee
Additional Reviewers
Proof Nets for Unit-Free Multiplicative-Additive Linear Logic / D. Hughes ; R. van GlabbeekSession 1:
About Translations of Classical Logic into Polarized Linear Logic / O. Laurent ; L. Regnier
System ST [beta]-Reduction and Completeness / C. Raffalli
Invited Tutorial--Types and Programming Languages: The Next Generation / B. C. PierceSession 2:
Reasoning about Hierarchical Storage / A. Ahmed ; L. Jia ; D. WalkerSession 3:
Invited Talk--Formal Verification at Intel / J. Harrison
New Directions in Instantiation-Based Theorem Proving / H. Ganzinger ; K. KorovinSession 4:
Abstract Saturation-Based Inference / N. Dershowitz ; C. Kirchner
Orienting Equalities with the Knuth-Bendix Order / A. Voronkov
Practical Reflection in Nuprl / E. Barzilay ; S. Allen ; R. ConstableShort Presentations I:
An Applicative-Order Term Rewriting System for Code Generation, and Its Termination Analysis / O. Kiselyov
Patterns Based on Multiple Interacting Partial Orders / F. J. Oles
Logic of Subtyping / P. Naumov
A Language and a Notion of Truth for Cryptographic Properties / S. Kramer
The Relative Complexity of Local Search Heuristics and the Iteration Principle / T. Morioka
A Second-Order Theory for NL / S. Cook ; A. Kolokolova
Dependent Intersection: A New Way of Defining Records in Type Theory / A. KopylovSession 5:
Structural Subtyping of Non-Recursive Types Is Decidable / V. Kuncak ; M. Rinard
On Program Equivalence in Languages with Ground-Type References / A. S. Murawski
A Proof Theory for Generic Judgments: An Extended Abstract / D. Miller ; A. TiuSession 6:
Polynomial-Time Algorithms from Ineffective Proofs / P. Oliva
The Complexity of Resolution Refinements / J. Buresh-Oppenheim ; T. Pitassi
Successor-Invariance in the Finite / B. RossmanSession 7:
Invited Talk--Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions / E. Gradel ; S. Kreutzer
On Automatic Partial Orders / B. Khoussainov ; S. Rubin ; F. StephanSession 8:
Logical Definability and Query Languages over Unranked Trees / L. Libkin ; F. Neven
Query Evaluation on Compressed Trees / M. Frick ; M. Grohe ; C. Koch
Revisiting Digitization, Robustness, and Decidability for Timed Automata / J. Ouaknine ; J. WorrellSession 9:
Satisfiability in Alternating-Time Temporal Logic / G. van Drimmelen
Strong Bisimilarity on Basic Parallel Processes Is PSPACE-Complete / P. Jancar
Invited Tutorial--Logic in Access Control / M. AbadiSession 10:
The Planning Spectrum--One, Two, Three, Infinity / M. Pistore ; M. Y. VardiSession 11:
Invited Talk--Advice about Logical AI / J. McCarthy
A Sound Framework for Untrusted Verification-Condition Generators / G. C. Necula ; R. R. SchneckSession 12:
An NP Decision Procedure for Protocol Insecurity with XOR / Y. Chevalier ; R. Kusters ; M. Rusinowitch ; M. Turuani
Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or / H. Comon-Lundh ; V. Shmatikov
Spectrum Hierarchies and Subdiagonal Functions / A. HunterSession 13:
Spectra of Monadic Second-Order Formulas with One Unary Function / Y. Gurevich ; S. Shelah
Convergence Law for Random Graphs with Specified Degree Sequence / J. F. Lynch
Homomorphism Closed vs. Existential Positive / T. FederSession 14:
Tractable Conservative Constraint Satisfaction Problems / A. A. Bulatov
A Constraint-Based Presentation and Generalization of Rows / F. Pottier
Labelled Markov Processes: Stronger and Faster Approximations / V. Danos ; J. DesharnaisSession 15:
Invited Talk--Model Checking for Probability and Time: From Theory to Practice / M. Kwiatkowska
Model Checking Guarded Protocols / E. A. Emerson ; V. KahlonSession 16:
Model-Checking Trace Event Structures / P. Madhusudan
Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems / N. Piterman
A Proposal to Extend Abstract State Machines to Applications in Systems Biology / Short Presentations II:
Stuttering Refinement on Partial Systems / S. Nejati ; A. Gurfinkel
Assume-Guarantee Reasoning with Features / B. Devereux
Modularity Theorems for Non-Monotone Induction / M. Denecker ; E. Ternovska
Linear-Time Algorithms for Monadic Logic / S. Lindell
Game-Based Notions of Locality / M. Arenas ; P. Barcelo
Arb: An Implementation of Selecting Tree Automata for XML Query Processing
Author Index
Foreword
Conference Organization
Program Committee
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼