ask others

21. MFCS 1996: Cracow, Poland

> Home > Conferences and Workshops > MFCS

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/1996
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/1996
Wojciech Penczek, Andrzej Szalas:
Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings. Lecture Notes in Computer Science 1113, Springer 1996, ISBN 3-540-61550-4

Invited Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/ClarkeZ96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/ClarkeZ96
Edmund M. Clarke, Xudong Zhao:
Word Level Model Checking (Abstract). 1
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/DiekertM96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/DiekertM96
Volker Diekert, Anca Muscholl:
Code Problems on Traces. 2-17
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/GibbonsAH96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/GibbonsAH96
Alan Gibbons, Martyn Amos, David A. Hodgson:
Models of DNA Computation. 18-36
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/mfcs/Mosses96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Mosses96
Peter D. Mosses:
Theory and Practice of Action Semantics. 37-61
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/MukundT96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/MukundT96
Madhavan Mukund, P. S. Thiagarajan:
Linear Time Temporal Logics over Mazurkiewicz Traces. 62-92
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Peled96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Peled96
Doron A. Peled:
Partial Order Reduction: Model-Checking Using Representatives. 93-112
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Remmel96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Remmel96
Jeffrey B. Remmel:
Nonmonotonic Rule Systems: Foward Chaining, Constraints, and Complexity (Abstract). 113
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/SannellaT96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/SannellaT96
Donald Sannella, Andrzej Tarlecki:
Mind the Gap! Abstract Versus Concrete Models of Specifications. 114-134
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Tiuryn96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Tiuryn96
Jerzy Tiuryn:
A Sequent Calculus for Subtyping Polymorphic Types. 135-155
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Uspensky96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Uspensky96
Vladimir A. Uspensky:
Kolmogorov Complexity: Recent Research in Moscow. 156-166

Contributed Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Balbiani96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Balbiani96
Philippe Balbiani:
A Modal Logic for Data Analysis. 167-179
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/BaumFHL96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/BaumFHL96
Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martínez López:
From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap. 180-191
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Bednarczyk96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Bednarczyk96
Marek A. Bednarczyk:
Logic of Predicates with Explicit Substitutions. 192-205
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/BeigelGKMS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/BeigelGKMS96
Richard Beigel, William I. Gasarch, Martin Kummer, Timothy McNicholl, Frank Stephan:
On the Query Complexity of Sets. 206-217
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/BonoBL96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/BonoBL96
Viviana Bono, Michele Bugliesi, Luigi Liquori:
A Lambda Calculus of Incomplete Objects. 218-229
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/BorealeT96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/BorealeT96
Michele Boreale, Luca Trevisan:
Bisimilarity Problems Requiring Exponential Time. 230-241
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/BruinN96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/BruinN96
Arie de Bruin, Shan-Hwei Nienhuys-Cheng:
Linear Dynamic Kahn Networks Are Deterministic. 242-254
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/CaiKW96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/CaiKW96
X. Cai, Ton Kloks, C. K. Wong:
Shortest Path Problems with Time Constraints. 255-266
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/ChlebusCGKP96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/ChlebusCGKP96
Bogdan S. Chlebus, Artur Czumaj, Leszek Gasieniec, Miroslaw Kowaluk, Wojciech Plandowski:
Parallel Alternating-Direction Access Machine. 267-278
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/CorradiniP96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/CorradiniP96
Flavio Corradini, Marco Pistore:
Specification and Verification of Timed Lazy Systems. 279-290
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Demri96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Demri96
Stéphane Demri:
A Class of Information Logics with a Decidable Validity Problem. 291-302
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/DessmarkL96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/DessmarkL96
Anders Dessmark, Andrzej Lingas:
On the Power of Nonconservative PRAM. 303-311
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Durand96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Durand96
Bruno Durand:
Self-Similarity Viewed as a Local Property via Tile Sets. 312-323
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/EngelhardtR96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/EngelhardtR96
Kai Engelhardt, Willem P. de Roever:
Simulation of Specification Statements in Hoare Logic. 324-335
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/EsikL96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/EsikL96
Zoltán Ésik, Anna Labella:
Equational Properties of Iteration in Algebraically Complete Categories. 336-347
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Fernau96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Fernau96
Henning Fernau:
On Unconditional Transfer. 348-359
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/FotakisS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/FotakisS96
Dimitris Fotakis, Paul G. Spirakis:
(poly(log log n), poly(log log n))-Restricted Verifiers are Unlikely to Exist for Languages in NP. 360-371
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/GasieniecKKP96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/GasieniecKKP96
Leszek Gasieniec, Evangelos Kranakis, Danny Krizanc, Andrzej Pelc:
Minimizing Congestion of Layouts for ATM Networks with Faulty Links. 372-381
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/GlaisterS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/GlaisterS96
Ian Glaister, Jeffrey Shallit:
Polynomial Automaticity, Context-Free Languages, and Fixed Points of Morphism (Extended Abstract). 382-393
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/GoltzW96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/GoltzW96
Ursula Goltz, Heike Wehrheim:
Causal Testing. 394-406
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/HuIT96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/HuIT96
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
Construction of List Homomorphisms by Tupling and Fusion. 407-418
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/KwiatkowskaN96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/KwiatkowskaN96
Marta Z. Kwiatkowska, Gethin Norman:
Probabilistic Metric Semantics for a Simple Language with Recursion. 419-430
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Maggiolo-SchettiniW96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Maggiolo-SchettiniW96
Andrea Maggiolo-Schettini, Józef Winkowski:
Dynamic Graphs. 431-442
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/MantaciR96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/MantaciR96
Sabrina Mantaci, Antonio Restivo:
Equations on Trees. 443-456
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/OhlebuschU96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/OhlebuschU96
Enno Ohlebusch, Esko Ukkonen:
On the Equivalence Problem for E-Pattern Languages. 457-468
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/PawlowskiPS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/PawlowskiPS96
Wieslaw Pawlowski, Pawel Paczkowski, Stefan Sokolowski:
Specifying and Verifying Parametric Processes. 469-481
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Pliuskevicius96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Pliuskevicius96
Regimantas Pliuskevicius:
On Saturation with Flexible Function Symbols. 482-493
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/RossnerS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/RossnerS96
Carsten Rössner, Jean-Pierre Seifert:
Approximating Good Simultaneous Diophantine Approximations Is Almost NP-Hard. 494-505
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Seebold96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Seebold96
Patrice Séébold:
On the Conjugation of Standard Morphisms. 506-516
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Shi96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Shi96
Hui Shi:
A Semantic Matching Algorithm: Analysis and Implementation. 517-528
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Sibeyn96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Sibeyn96
Jop F. Sibeyn:
Routing on Triangles, Tori and Honeycombs. 529-541
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/TorreK96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/TorreK96
Pilar de la Torre, David T. Kao:
A Uniform Analysis of Trie Structures that Store Prefixing-Keys with Application to Doubly-Chained Prefixing-Tries. 542-553
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Wabenhorst96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Wabenhorst96
Axel Wabenhorst:
On Fairness in Terminating and Reactive Programs. 554-565
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Yamakami96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Yamakami96
Tomoyuki Yamakami:
Polynomial Time Samplable Distributions. 566-578
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Zucca96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Zucca96
Elena Zucca:
From Static to Dynamic Abstract Data-Types. 579-590

maintained by

, founded at