Mathematical Foundations of Computer Science 1998 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

82
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540648277, 9783540685326
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Iterated length-preserving rational transductions

1998 ◽  
pp. 286-295 ◽  
Author(s):  
Michel Latteux ◽  
David Simplot ◽  
Alain Terlutte

On defect effect of bi-infinite words

1998 ◽  
pp. 674-682 ◽  
Author(s):  
Juhani Karhumäki ◽  
Ján Maňuch ◽  
Wojciech Plandowski
Keyword(s):  
Infinite Words

On counting ac 0 circuits with negative constants

1998 ◽  
pp. 409-417 ◽  
Author(s):  
Andris Ambainis ◽  
David Mix Barrington ◽  
Huong LêThanh

Spatial and temporal refinement of typed graph transformation systems

1998 ◽  
pp. 553-561 ◽  
Author(s):  
Martin Große-Rhode ◽  
Francesco Parisi-Presicce ◽  
Marta Simeoni
Keyword(s):  
Graph Transformation ◽  
Transformation Systems ◽  
Graph Transformation Systems

Shuffle on trajectories: The schützenberger product and related operations

1998 ◽  
pp. 503-511 ◽  
Author(s):  
Tero Harju ◽  
Alexandra Mateescu ◽  
Arto Salomaa

A (non-elementary) modular decision procedure for LTrL

1998 ◽  
pp. 356-365 ◽  
Author(s):  
Paul Gastin ◽  
Raphaël Meyer ◽  
Antoine Petit
Keyword(s):  
Decision Procedure

About synchronization languages

1998 ◽  
pp. 533-542 ◽  
Author(s):  
Isabelle Ryl ◽  
Yves Roos ◽  
Mireille Clerbout
Load More ...
Sign in / Sign up

Export Citation Format

Share Document