Automata, languages and programming 25th international colloquium, ICALP '98, Aalborg, Denmark, July 13 - 17, 1998 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
1998
|
| Schriftenreihe: | Lecture notes in computer science
1443 |
| Schlagworte: |
Abstracte automaten
> Automates mathématiques, Théorie des - Congrès
> Automates mathématiques, théorie des - Congrès
> Langages formels - Congrès
> Programmation (Informatique) - Congrès
> Programmeertalen
> automate
> complexité calcul
> concurrence
> langage formel
> logique
> pi calcul
> réécriture
> structure donnée
> sémantique
> vérification
> Informatik
> Mathematik
> Computer science
> Mathematics
> Machine theory
> Programming languages (Electronic computers)
> Theoretische Informatik
> Konferenzschrift
|
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | XVI, 932 S. graph. Darst. |
|---|---|
| ISBN: | 3540647813 3-540-64781-3 |