You are here: TUCS > PUBLICATIONS > Publication Search > Post Correspondence Problem --...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Post Correspondence Problem -- Recent Results
Vesa Halava, Tero Harju, Post Correspondence Problem -- Recent Results. In: G. Rozenberg A. Salomaa G. Paun (Ed.), Current Trends in Theoretical Computer Science, 2 Formal Models and Semantics, 511–532, World Scientific, 2004.
BibTeX entry:
@INBOOK{cHaHa04a,
title = {Post Correspondence Problem -- Recent Results},
booktitle = {Current Trends in Theoretical Computer Science},
author = {Halava, Vesa and Harju, Tero},
volume = {2 Formal Models and Semantics},
editor = {G. Paun, G. Rozenberg A. Salomaa},
publisher = {World Scientific},
pages = {511–532},
year = {2004},
}
Belongs to TUCS Research Unit(s): FUNDIM, Fundamentals of Computing and Discrete Mathematics
Publication Forum rating of this publication: level 2