You are here: TUCS > PUBLICATIONS > Publication Search > Binary (Generalized) Post Corr...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Binary (Generalized) Post Correspondence Problem
Vesa Halava, Tero Harju, Mika Hirvensalo, Binary (Generalized) Post Correspondence Problem. TUCS Technical Reports 357, Turku Centre for Computer Science, 2000.
Abstract:
http://www.tucs.fi/Publications/techreports/TR357.php
Files:
Full publication in PDF-format
BibTeX entry:
@TECHREPORT{tHaHaHi00a,
title = {Binary (Generalized) Post Correspondence Problem},
author = {Halava, Vesa and Harju, Tero and Hirvensalo, Mika},
number = {357},
series = {TUCS Technical Reports},
publisher = {Turku Centre for Computer Science},
year = {2000},
keywords = {decidability, marked morphism, binary Post Correspondence Problem, generalized Post Correspondence Problem},
}