![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 175
Volume 175, Number 1, 30 March 1997
- Hiroakira Ono:
Foreword: Non-standard Logics and Logical Aspects of Computer Science. 1 - Yuri Leonidovich Ershov:
The Bounded-Complete Hull of an Alpha-Space. 3-13 - Nikolay V. Shilov
:
Program Schemata vs. Automata for Decidability of Program Logics. 15-27 - Satoshi Kobayashi
:
Monad as Modality. 29-74 - Masahiko Sato:
Intuitionistic and Classical Natural Deduction Systems with the Catch and the Throw Rules. 75-92 - Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries:
Infinitary Lambda Calculus. 93-125 - Aart Middeldorp
, Hans Zantema:
Simple Termination of Rewrite Systems. 127-158 - Vincent van Oostrom
:
Developing Developments. 159-181 - Alexei Lisitsa, Vladimir Yu. Sazonov:
Delta-Languages for Sets and LOGSPACE Computable Graph Transformers. 183-222
Volume 175, Number 2, 10 April 1997
- Vincent Bouchitté, Michel Habib, Michel Morvan:
Preface: Orders, Algorithms and Applications. 223 - Vincent Bouchitté, Jean-Xavier Rampon:
On-Line Algorithms for Orders. 225-238 - Frank Bauernöppel
, Evangelos Kranakis
, Danny Krizanc, Anil Maheshwari, Jörg-Rüdiger Sack, Jorge Urrutia:
Planar Stage Graphs: Characterizations and Applications. 239-255 - Oya Ekin, Peter L. Hammer, Uri N. Peled:
Horn Functions and Submodular Boolean Functions. 257-270 - Kevin Ewacha, Ivan Rival, Nejib Zaguia:
Approximating the Number of Linear Extensions. 271-282 - Stefan Felsner:
On-Line Chain Partitions of Orders. 283-292 - Colin de la Higuera, Lhouari Nourine:
Drawing and Encoding Two-Dimensional Posets. 293-308 - Ton Kloks, Dieter Kratsch, Jeremy P. Spinrad:
On Treewidth and Minimum Fill-In of Asteroidal Triple-Free Graphs. 309-335 - Jutta Mitas, Klaus Reuter:
CoverPpreserving Embeddings of Bipartite Orders Into Boolean Lattices. 337-347 - Itsik Pe'er, Ron Shamir
:
Satisfiability Problems on Intervals and Unit Intervals. 349-372 - Maurizio Talamo, Paola Vocca
:
A Data Structure for Lattice Representation. 373-392 - Laurent Viennot:
Parallel N-Free Order Recognition. 393-406
![](https://dblp.uni-trier.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.