Erreichbarkeit mit Ressourcenschranken für Pushdownsysteme

Martin Lang. Erreichbarkeit mit Ressourcenschranken für Pushdownsysteme. In Informatiktage 2012 - Fachwissenschaftlicher Informatik-Kongress 23. und 24. März 2012, B-IT Bonn-Aachen International Center for Information Technology in Bonn. Volume S-11 of LNI, pages 27-30, GI, 2012.

Abstract

Abstract is missing.