Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics
Latest Publications

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540649878, 9783540498018
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formalization of graph search algorithms and its applications

1998 ◽  
pp. 479-496 ◽  
Author(s):  
Mitsuharu Yamamoto ◽  
Koichi Takahashi ◽  
Masami Hagiya ◽  
Shin-ya Nishizaki ◽  
Tetsuo Tamai
Keyword(s):  
Search Algorithms ◽  
Graph Search ◽  
Graph Search Algorithms

An interface between CLAM and HOL

1998 ◽  
pp. 87-104 ◽  
Author(s):  
Richard Boulton ◽  
Konrad Slind ◽  
Alan Bundy ◽  
Mike Gordon

The village telephone system: A case study in formal software engineering

1998 ◽  
pp. 49-66 ◽  
Author(s):  
Karthikeyan Bhargavan ◽  
Carl A. Gunter ◽  
Elsa L. Gunter ◽  
Michael Jackson ◽  
Davor Obradovic ◽  
...  
Keyword(s):  
Software Engineering ◽  
System A ◽  
Telephone System ◽  
The Village

scholarly journals Co-inductive axiomatization of a synchronous language

1998 ◽  
pp. 387-399 ◽  
Author(s):  
David Nowak ◽  
Jean -René Beauvais ◽  
Jean -Pierre Talpin
Keyword(s):  
Synchronous Language
Load More ...
Sign in / Sign up

Export Citation Format

Share Document