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

Stratified Boolean Grammars

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

10.1007/11549345_69 ◽

2005 ◽

pp. 801-812 ◽

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 ◽

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 ◽

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 ◽

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 ◽

Author(s):

Judy Goldsmith ◽

Matthias Hagen ◽

Martin Mundhenk

Download Full-text

Zeta-Dimension

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

10.1007/11549345_25 ◽

2005 ◽

pp. 283-294 ◽

Author(s):

David Doty ◽

Xiaoyang Gu ◽

Jack H. Lutz ◽

Elvira Mayordomo ◽

Philippe Moser

Download Full-text

Basic Properties for Sand Automata

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

10.1007/11549345_18 ◽

2005 ◽

pp. 192-211 ◽

Author(s):

J. Cervelle ◽

E. Formenti ◽

B. Masson

Keyword(s):

Basic Properties

Download Full-text

Regular Sets of Higher-Order Pushdown Stacks

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

10.1007/11549345_16 ◽

2005 ◽

pp. 168-179 ◽

Author(s):

Arnaud Carayol

Keyword(s):

Higher Order ◽

Download Full-text