TAPSOFT '87 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540176602, 9783540477464
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Characterizing Kripke structures in temporal logic

1987 ◽  
pp. 256-270 ◽  
Author(s):  
M. C. Browne ◽  
E. M. Clarke ◽  
O. Grümberg
Keyword(s):  
Temporal Logic ◽  
Kripke Structures

scholarly journals Applications of compactness in the Smyth powerdomain of streams

1987 ◽  
pp. 241-255 ◽  
Author(s):  
J. -J. Ch. Meyer ◽  
E. P. Vink

scholarly journals An unification semi-algorithm for intersection type schemes

1987 ◽  
pp. 37-51
Author(s):  
Simona Ronchi Rocca

scholarly journals Dialogue with a proof system

1987 ◽  
pp. 271-275 ◽  
Author(s):  
Robin Milner
Keyword(s):  
Proof System

scholarly journals Partial composition and recursion of module specifications

1987 ◽  
pp. 217-231 ◽  
Author(s):  
Francesco Parisi-Presicce

scholarly journals SMoLCS-driven concurrent calculi

1987 ◽  
pp. 169-201 ◽  
Author(s):  
Egidio Astesiano ◽  
Gianna Reggio

scholarly journals A fully observational model for infinite behaviours of communicating systems

1987 ◽  
pp. 153-168 ◽  
Author(s):  
Ph. Darondeau ◽  
B. Gamatie

scholarly journals Efficient representation of taxonomies

1987 ◽  
pp. 232-240 ◽  
Author(s):  
G. Gambosi ◽  
J. Nešetřil ◽  
M. Talamo
Keyword(s):  
Efficient Representation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document