I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Abstractions, instantiations, and proofs of marking algorit..:

, In: Proceedings of the 1977 symposium on Artificial intelligence and programming languages,
Yelowitz, Lawrence ; Duncan, Arthur G. - p. 13-21 , 1977
Link: https://dl.acm.org/doi/10.1145/800228.806927