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

TOTAL DOCUMENTS

43
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540543459, 9783540475798
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Models for concurrency

1991 ◽  
pp. 43-46 ◽  
Author(s):  
Mogens Nielsen

A decidable case of the semi-unification problem

1991 ◽  
pp. 318-327 ◽  
Author(s):  
Hans Leiß ◽  
Fritz Henglein
Keyword(s):  
Unification Problem

On strict codes

1991 ◽  
pp. 308-317
Author(s):  
Nguyen Huong Lam ◽  
Do Long

A model for real-time systems

1991 ◽  
pp. 298-307 ◽  
Author(s):  
Padmanabhan Krishnan
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Time Systems

A solution of the complement problem in associatiue-commutatiue theories

1991 ◽  
pp. 287-297 ◽  
Author(s):  
Kounalis Emmanuel ◽  
Lugiez Denis ◽  
Pottier Loic

The complexity of the reliable connectivity problem

1991 ◽  
pp. 259-266
Author(s):  
Dimitris Kavadias ◽  
Lefteris M. Kirousis ◽  
Paul Spirakis
Keyword(s):  
Connectivity Problem
Load More ...
Sign in / Sign up

Export Citation Format

Share Document