Author Search Results

1

Logic and machines : decision problems and complexity, proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universitat Münster/Westfalen /

Logic and machines : decision problems and complexity, proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und...

by Borger, Egon 1946-
Published 1984

Book

2

Abstract state machines, B and Z : First International Conference, ABZ 2008, London, UK, september 16-18, 2008, proceedings /

Abstract state machines, B and Z : First International Conference, ABZ 2008, London, UK, september 16-18, 2008, proceedings /

Published 2008

Other Authors: “...Borger, Egon 1946-...”
Ver documento en línea

Conference Proceeding Book