Logical Foundations of Computer Science — Tver '92 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer-Verlag

3540557075
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Ordinal arithmetic with list structures (preliminary version)

2005 ◽  
pp. 117-138 ◽  
Author(s):  
Nachum Dershowitz ◽  
Edward M. Reingold
Keyword(s):  
Preliminary Version

scholarly journals Machine learning of higher order programs

2005 ◽  
pp. 9-20 ◽  
Author(s):  
Ganesh Baliga ◽  
John Case ◽  
Sanjay Jain ◽  
Mandayam Suraj
Keyword(s):  
Machine Learning ◽  
Higher Order

Correctness of generic modules

2005 ◽  
pp. 406-417 ◽  
Author(s):  
Wolfgang Reif
Keyword(s):  
Generic Modules

A categorical interpretation of partial function logic and Hoare logic

2005 ◽  
pp. 229-240
Author(s):  
P. M. W. Knijnenburg ◽  
F. Nordemann
Keyword(s):  
Partial Function ◽  
Hoare Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document