Fields of Logic and Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642150241, 9783642150258
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Hereditary Zero-One Laws for Graphs

2010 ◽  
pp. 581-614
Author(s):  
Saharon Shelah ◽  
Mor Doron

scholarly journals Inferring Loop Invariants Using Postconditions

2010 ◽  
pp. 277-300 ◽  
Author(s):  
Carlo Alberto Furia ◽  
Bertrand Meyer

Abstract State Machines and the Inquiry Process

2010 ◽  
pp. 405-413
Author(s):  
James K. Huggins ◽  
Charles Wallace
Keyword(s):  
State Machines ◽  
Abstract State Machines ◽  
Inquiry Process

Yuri, Logic, and Computer Science

2010 ◽  
pp. 1-48
Author(s):  
Andreas Blass ◽  
Nachum Dershowitz ◽  
Wolfgang Reisig
Keyword(s):  
Computer Science

scholarly journals ASMs and Operational Algorithmic Completeness of Lambda Calculus

2010 ◽  
pp. 301-327 ◽  
Author(s):  
Marie Ferbus-Zanda ◽  
Serge Grigorieff
Keyword(s):  
Lambda Calculus

scholarly journals Decidable Expansions of Labelled Linear Orderings

2010 ◽  
pp. 95-107
Author(s):  
Alexis Bès ◽  
Alexander Rabinovich
Keyword(s):  
Linear Orderings
Load More ...
Sign in / Sign up

Export Citation Format

Share Document