DMTCS Proceedings

Journal Help
Font Size Small  Medium  Large
Journal Content Search

Browse
  • By Issue
  • By Author
  • By Title
Information
  • For Readers
  • For Authors
  • For Librarians
Open Journal Systems
  • Home
  • About
  • Log In
  • Register
  • Search
  • Current Issue
  • Previous Issues
  • Journal Home
Home > Archives > Computational Logic and Applications, CLA '05

Computational Logic and Applications, CLA '05

Table of Contents

Invited Speakers

Random Boolean expressions GZIP Compressed PostScript PostScript PDF original HTML abstract page
Danièle Gardy

Regular Contributions

On-line Adaptive Chain Covering of Upgrowing Posets GZIP Compressed PostScript PostScript PDF original HTML abstract page
Bartłomiej Bosek, Piotr Micek
Solving equations over small unary algebras GZIP Compressed PostScript PostScript PDF original HTML abstract page
Przemyslaw Broniek
On-line coloring of Is-free graphs GZIP Compressed PostScript PostScript PDF original HTML abstract page
Iwona Cieślik, Marcin Kozik, Piotr Micek
Undecidable problems concerning densities of languages GZIP Compressed PostScript PostScript PDF original HTML abstract page
Jakub Kozik
Non-Determinism and Nash Equilibria for Sequential Game over Partial Order GZIP Compressed PostScript PostScript PDF original HTML abstract page
Stéphane Le Roux
Classical Combinatory Logic GZIP Compressed PostScript PostScript PDF original HTML abstract page
Karim Nour
The call-by-value λµ∧∨-calculus GZIP Compressed PostScript PostScript PDF original HTML abstract page
Karim Nour, Khelifa Saber

Contents

Table of Contents and Preface PDF
Rene David, Daniele Gardy, Pierre Lescanne, Marek Zaionc


Valid XHTML 1.0 Transitional
Valid CSS!