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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540287025, 9783540318675

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

Mathematical Foundations of Computer Science 2005 - Lecture Notes in Computer Science ◽

10.1007/11549345_37 ◽

2005 ◽

pp. 422-434

Author(s):

Martin Grohe ◽

Stephan Kreutzer ◽

Nicole Schweikardt

Keyword(s):

Fixed Point ◽

Expressive Power

Download Full-text

On the Complexity of Depth-2 Circuits with Threshold Gates

Mathematical Foundations of Computer Science 2005 - Lecture Notes in Computer Science ◽

10.1007/11549345_11 ◽

2005 ◽

pp. 107-118 ◽

Cited By ~ 9

Author(s):

Kazuyuki Amano ◽

Akira Maruoka

Download Full-text

Page Migration in Dynamic Networks

Mathematical Foundations of Computer Science 2005 - Lecture Notes in Computer Science ◽

10.1007/11549345_1 ◽

2005 ◽

pp. 1-14 ◽

Cited By ~ 2

Author(s):

Marcin Bienkowski ◽

Friedhelm Meyer auf der Heide

Keyword(s):

Dynamic Networks ◽

Page Migration

Download Full-text

Stratified Boolean Grammars

Mathematical Foundations of Computer Science 2005 - Lecture Notes in Computer Science ◽

10.1007/11549345_69 ◽

2005 ◽

pp. 801-812 ◽

Cited By ~ 3

Author(s):

Michał Wrona

Keyword(s):

Boolean Grammars

Download Full-text

Concurrent Automata vs. Asynchronous Systems

Mathematical Foundations of Computer Science 2005 - Lecture Notes in Computer Science ◽

10.1007/11549345_59 ◽

2005 ◽

pp. 686-698 ◽

Cited By ~ 5

Author(s):

Rémi Morin

Keyword(s):

Asynchronous Systems

Download Full-text

An Asymptotically Optimal Linear-Time Algorithm for Locally Consistent Constraint Satisfaction Problems

Mathematical Foundations of Computer Science 2005 - Lecture Notes in Computer Science ◽

10.1007/11549345_52 ◽

2005 ◽

pp. 603-614

Author(s):

Daniel Král’ ◽

Ondřej Pangrác

Keyword(s):

Constraint Satisfaction ◽

Linear Time ◽

Time Algorithm ◽

Constraint Satisfaction Problems ◽

Linear Time Algorithm ◽

Asymptotically Optimal ◽

Optimal Linear ◽

Consistent Constraint

Download Full-text

Basic Mereology with Equivalence Relations

Mathematical Foundations of Computer Science 2005 - Lecture Notes in Computer Science ◽

10.1007/11549345_44 ◽

2005 ◽

pp. 507-519 ◽

Cited By ~ 2

Author(s):

Ryszard Janicki

Keyword(s):

Equivalence Relations

Download Full-text

Algebras as Knowledge Structures

Mathematical Foundations of Computer Science 2005 - Lecture Notes in Computer Science ◽

10.1007/11549345_41 ◽

2005 ◽

pp. 471-482 ◽

Cited By ~ 1

Author(s):

Bernhard Heinemann

Keyword(s):

Knowledge Structures

Download Full-text

Some Computational Issues in Membrane Computing

Mathematical Foundations of Computer Science 2005 - Lecture Notes in Computer Science ◽

10.1007/11549345_4 ◽

2005 ◽

pp. 39-51

Author(s):

Oscar H. Ibarra

Keyword(s):

Membrane Computing

Download Full-text

Complexity of DNF and Isomorphism of Monotone Formulas

Mathematical Foundations of Computer Science 2005 - Lecture Notes in Computer Science ◽

10.1007/11549345_36 ◽

2005 ◽

pp. 410-421 ◽

Cited By ~ 5

Author(s):

Judy Goldsmith ◽

Matthias Hagen ◽

Martin Mundhenk

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

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

On the Complexity of Depth-2 Circuits with Threshold Gates

Page Migration in Dynamic Networks

Stratified Boolean Grammars

Concurrent Automata vs. Asynchronous Systems

An Asymptotically Optimal Linear-Time Algorithm for Locally Consistent Constraint Satisfaction Problems

Basic Mereology with Equivalence Relations

Algebras as Knowledge Structures

Some Computational Issues in Membrane Computing

Complexity of DNF and Isomorphism of Monotone Formulas

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