Computability, complexity, logic

द्वारा Börger, Egon
प्रकाशित 1989

A Characterization of Distributed ASMs with Partial-Order Runs

द्वारा Börger, Egon, Schewe, Klaus-Dieter
प्रकाशित 2020

Abstract state machines, B and Z: first international conference, ABZ 2008, London, UK, September 16-18, 2008 proceedings

द्वारा Boca, Paul, Bowen, Jonathan P, Butler, Michael, Börger, Egon
प्रकाशित 2008

Logic Colloquium

द्वारा Müller, Gert, Richter, Michael, Börger, Egon, Oberschelp, Walter, Schinzel, Brigitta, Thomas, Wolfgang
प्रकाशित 1984