TAPSOFT '97: Theory and Practice of Software Development - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

71
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540627814, 9783540685173
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Publishing formal specifications in Z notation on world wide web

1997 ◽  
pp. 871-874 ◽  
Author(s):  
Luboš Mikušiak ◽  
Miroslav Adámy ◽  
Thomas Seidmann
Keyword(s):  
World Wide Web ◽  
World Wide ◽  
Formal Specifications ◽  
Z Notation

scholarly journals Logicality of conditional rewrite systems

1997 ◽  
pp. 139-152
Author(s):  
Toshiyuki Yamada ◽  
Jürgen Avenhaus ◽  
Carlos Loría-Sáenz ◽  
Aart Middeldorp
Keyword(s):  
Rewrite Systems

scholarly journals Formats of ordered SOS rules with silent actions

1997 ◽  
pp. 297-308 ◽  
Author(s):  
Irek Ulidowski ◽  
Iain Phillips

scholarly journals Word-into-Trees Transducers with bounded difference

1997 ◽  
pp. 177-188 ◽  
Author(s):  
Yves Andre ◽  
Francis Bossut
Load More ...
Sign in / Sign up

Export Citation Format

Share Document