Showing 1 - 3 results of 3 for search 'Nikos Tzevelekos', query time: 0.02s
Refine Results
-
1
Full abstraction for nominal general references by Nikos Tzevelekos
Published 2009-09-01
Article -
2
Block structure vs scope extrusion: between innocence and omniscience by Andrzej S. Murawski, Nikos Tzevelekos
Published 2017-04-01
Article -
3
History-Register Automata by Radu Grigore, Nikos Tzevelekos
Published 2016-03-01
Article