default search action

combined dblp search
author search
venue search
publication search

ask others

1st FoSSaCS 1998: Lisbon, Portugal (Part of ETAPS 1998)

> Home > Conferences and Workshops > FoSSaCS
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/1998
Maurice Nivat:
Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Lecture Notes in Computer Science 1378, Springer 1998, ISBN 3-540-64300-1
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/Mislove98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/Mislove98
Michael W. Mislove:
Generalizing Domain Theory. 1-19
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/AcetoFI98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/AcetoFI98
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir:
A Cook's Tour of Equational Axiomatizations for Prefix Iteration. 20-34
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/AlbayrakN98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/AlbayrakN98
Can Adam Albayrak, Thomas Noll:
The WHILE Hierarchy of Program Schemes Is Infinite. 35-47
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/AmadioC98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/AmadioC98
Roberto M. Amadio, Solange Coupet-Grimal:
Analysis of a Guard Condition in Type Theory (Extended Abstract). 48-62
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/BaldanCM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BaldanCM98
Paolo Baldan, Andrea Corradini, Ugo Montanari:
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. 63-80
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/Beauquier98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/Beauquier98
Danièle Beauquier:
Pumping Lemmas for Timed Automata. 81-94
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/BorealeNP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BorealeNP98
Michele Boreale, Rocco De Nicola, Rosario Pugliese:
Asynchronous Observations of Processes. 95-109
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/BottreauM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BottreauM98
Anne Bottreau, Yves Métivier:
Minor Searching, Normal Forms of Graph Relabelling: Two Applications Based on Enumerations by Graph Relabelling. 110-124
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/BukatinS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BukatinS98
Michael A. Bukatin, Svetlana Yu. Shorina:
Partial Metrics and Co-continuous Valuations. 125-139
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/CardelliG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/CardelliG98
Luca Cardelli, Andrew D. Gordon:
Mobile Ambients. 140-155
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/CorradiniG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/CorradiniG98
Andrea Corradini, Fabio Gadducci:
Rational Term Rewriting. 156-171
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/Heckmann98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/Heckmann98
Reinhold Heckmann:
The Appearance of Big Integers in Exact Real Arithmetic Based on Linear Fractional Transformations. 172-188
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/Klempien-Hinrichs98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/Klempien-Hinrichs98
Renate Klempien-Hinrichs:
Net Refinement by Pullback Rewriting. 189-202
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/Matz98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/Matz98
Oliver Matz:
On Piecewise Testable, Starfree, and Recognizable Picture Languages. 203-210
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/Moggi98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/Moggi98
Eugenio Moggi:
Functor Categories and Two-Level Languages. 211-225
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/MuschollPS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/MuschollPS98
Anca Muscholl, Doron A. Peled, Zhendong Su:
Deciding Properties for Message Sequence Charts. 226-242
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/NiemannO98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/NiemannO98
Gundula Niemann, Friedrich Otto:
The Church-Rosser Languages Are the Deterministic Variants of the Growing Context-Sensitive Languages. 243-257
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/PorrotDDV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/PorrotDDV98
Sylvain Porrot, Max Dauchet, Bruno Durand, Nikolai K. Vereshchagin:
Deterministic Rational Transducers and Random Sequences. 258-272
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/Rathke98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/Rathke98
Julian Rathke:
Resource Based Models for Asynchrony. 273-287

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.