TAPSOFT '91 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540539827, 9783540465638
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A complete proof system for timed observations

1991 ◽  
pp. 412-440 ◽  
Author(s):  
Yolanda Ortega-Mallén ◽  
David Frutos-Escrig
Keyword(s):  
Proof System ◽  
Complete Proof

scholarly journals The tree inclusion problem

1991 ◽  
pp. 202-214 ◽  
Author(s):  
Pekka Kilpeläinen ◽  
Heikki Mannila
Keyword(s):  
Inclusion Problem

scholarly journals Logic programming as hypergraph Rewriting

1991 ◽  
pp. 275-295 ◽  
Author(s):  
Andrea Corradini ◽  
Francesca Rossi ◽  
Francesco Parisi-Presicce
Keyword(s):  
Logic Programming
Load More ...
Sign in / Sign up

Export Citation Format

Share Document