![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
10th LICS 1995: San Diego, California, USA
- Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995. IEEE Computer Society 1995, ISBN 0-8186-7050-9
- Yonit Kesten, Amir Pnueli:
A Complete Proof Systems for QPTL. 2-12 - Igor Walukiewicz:
Completeness of Kozen's Axiomatisation of the Propositional mu-Calculus. 14-24 - Orna Kupferman, Amir Pnueli:
Once and For All. 25-35 - Bruno Dutertre:
Complete Proof Systems for First Order Interval Temporal Logic. 36-43 - James F. Lynch, Jerzy Tyszkiewicz:
The Infinitary Logic of Sparse Random Graphs. 46-53 - Anuj Dawar
, Erich Grädel:
Generalized Quantifiers and 0-1 Laws. 54-64 - Georg Gottlob:
Relativized Logspace and Generalized Quantifiers over Finite Structures. 65-78 - Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht:
First-order Queries on Finite Structures over the Reals. 79-87 - Rajeev Alur, Doron A. Peled, Wojciech Penczek:
Model-Checking of Causality Properties. 90-100 - Moshe Y. Vardi:
On the Complexity of Modular Model Checking. 101-111 - Farn Wang:
Timing Behavior Analysis for Real-Time Systems. 112-122 - Ahmed Bouajjani, Rachid Echahed, Peter Habermehl:
On the Verification Problem of Nonregular Properties for Nonregular Processes. 123-133 - Michael J. C. Gordon:
The Semantic Challenge of Verilog HDL. 136-145 - Gopalan Nadathur, Donald W. Loveland:
Uniform Proofs and Disjunctive Logic Programming (Extended Abstract). 148-155 - Frank Pfenning:
Structural Cut Elimination. 156-166 - Christopher Lynch:
Paramodulation without Duplication. 167-177 - V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning. 178-185 - Alex Mifsud, Robin Milner, A. John Power:
Control Structures. 188-198 - Rob J. van Glabbeek, Gordon D. Plotkin:
Configuration Structures. 199-209 - Simon J. Gay, Rajagopal Nagarajan:
A Typed Calculus of Synchronous Processes. 210-220 - Marino Miculan
, Fabio Gadducci:
Modal mu-Types for Processes. 221-231 - Samson Abramsky
, Guy McCusker:
Games and Full Abstraction for the Lazy lambda-Calculus. 234-243 - Abbas Edalat:
Domain Theory in Stochastic Processes. 244-254 - Alan Jeffrey:
A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types. 255-264 - Robert L. Constable:
Experience with Type Theory as a Foundation for Computer Science. 266-279 - Daniel J. Dougherty, Ramesh Subrahmanyam:
Equality between Functionals in the Presence of Coproducts. 282-291 - Giuseppe Longo, Kathleen Milsted, Sergei Soloviev:
A Logic of Subtyping (Extended Abstract). 292-299 - Adolfo Piperno:
Normalization and Extensionality (Extended Abstract). 300-310 - A. J. Kfoury, J. B. Wells:
New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-Calculi. 311-321 - Alexei P. Stolboushkin:
Finitely Monotone Properties. 324-330 - Kousha Etessami, Neil Immerman:
Tree Canonization and Transitive Closure. 331-341 - Martin Otto:
Ptime Canonization for Two Variables with Counting. 342-352 - Anil Seth:
When Do Fixed Point Logics Capture Complexity Classes? 353-363 - Gilles Dowek, Thérèse Hardin, Claude Kirchner:
Higher-Order Unification via Explicit Substitutions (Extended Abstract). 366-374 - Hubert Comon, Robert Nieuwenhuis
, Albert Rubio:
Orderings, AC-Theories and Symbolic Constraint Solving (Extended Abstract). 375-385 - Girish Bhat, Rance Cleaveland, Orna Grumberg:
Efficient On-the-Fly Model Checking for CTL*. 388-397 - Henrik Reif Andersen:
Partial Model Checking (Extended Abstract). 398-407 - Enrico Tronci:
Hardware Verification, Boolean Logic Programming, Boolean Functional Programming. 408-418 - Alex K. Simpson:
Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS. 420-430 - Bengt Jonsson, Wang Yi:
Compositional Testing Preorders for Probabilistic Processes. 431-441 - Vaughan R. Pratt:
The Stone Gamut: A Coordinatization of Mathematics. 444-454 - Erik Palmgren, Viggo Stoltenberg-Hansen:
Logically Presented Domains. 455-463 - François Lamarche:
Games Semantics for Full Propositional Linear Logic. 464-473 - Patrick Lincoln, Andre Scedrov, Natarajan Shankar:
Decision Problems for Second-Order Linear Logic. 476-485 - Max I. Kanovich:
The Complexity of Neutrals in Linear Logic. 486-495 - Alexey P. Kopylov:
Decidability of Linear Affine Logic. 496-504 - Boris A. Trakhtenbrot:
Origins and Metamorphoses of the Trinity: Logic, Nets, Automata. 506-507 - Hubert Comon:
Sequentiality, Second Order Monadic Logic and Tree Automata. 508-517
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.