Search CORE

6 research outputs found

EXPANDING GRAPH RELABELING SYSTEMS HAVE THE POWER OF RECURSIVE ENUMERABILITY

Author
Publication venue: 'IOS Press'
Publication date: 01/01/1996
Field of study

Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their connection

Author: Zwiers J.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1988
Field of study

Repository TU/e

Pure OAI Repository

29th International Symposium on Theoretical Aspects of Computer Science: STACS '12, February 29th to March 3rd, 2012, Paris, France

Author: Schloss Dagstuhl Leibniz-Zentrum für Informatik
Publication venue: Schloss Dagstuhl - Leibniz-Center for Informatics
Publication date: 01/02/2012
Field of study

Digitale Bibliothek Thüringen

LIPIcs, Volume 274, ESA 2023, Complete Volume

Author: Farach-Colton Martin
Herman Grzegorz
Puglisi Simon J.
Publication venue: LIPIcs - Leibniz International Proceedings in Informatics. 31st Annual European Symposium on Algorithms (ESA 2023)
Publication date: 01/01/2023
Field of study

LIPIcs, Volume 274, ESA 2023, Complete Volum

Dagstuhl Research Online Publication Server

core

core