Recent Trends in Data Type Specification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540544968, 9783540384168
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Constraints for behavioural specifications

1991 ◽  
pp. 220-245 ◽  
Author(s):  
F. Orejas ◽  
P. Nivela

Composition of algebraic high-level nets

1991 ◽  
pp. 52-73 ◽  
Author(s):  
Cristian Dimitrovici ◽  
Udo Hummert
Keyword(s):  
High Level

Clausal rewriting: Applications and implementation

1991 ◽  
pp. 204-219 ◽  
Author(s):  
Robert Nieuwenhuis ◽  
Fernando Orejas

Model-theoretic specifications and back-and-forth equivalences

1991 ◽  
pp. 166-184
Author(s):  
Gianfranco Mascari ◽  
Antonio Vincenzi

The specification language GSBL

1991 ◽  
pp. 31-51 ◽  
Author(s):  
S. Clerici ◽  
F. Orejas
Keyword(s):  
Specification Language
Load More ...
Sign in / Sign up

Export Citation Format

Share Document