Mathematical Foundations of Computer Science 2005 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

69
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540287025, 9783540318675
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals The Expressive Power of Two-Variable Least Fixed-Point Logics

2005 ◽  
pp. 422-434
Author(s):  
Martin Grohe ◽  
Stephan Kreutzer ◽  
Nicole Schweikardt
Keyword(s):  
Fixed Point ◽  
Expressive Power

scholarly journals Page Migration in Dynamic Networks

2005 ◽  
pp. 1-14 ◽  
Author(s):  
Marcin Bienkowski ◽  
Friedhelm Meyer auf der Heide
Keyword(s):  
Dynamic Networks ◽  
Page Migration

Complexity of DNF and Isomorphism of Monotone Formulas

2005 ◽  
pp. 410-421 ◽  
Author(s):  
Judy Goldsmith ◽  
Matthias Hagen ◽  
Martin Mundhenk
Load More ...
Sign in / Sign up

Export Citation Format

Share Document