1. Collections
  2. Conference Proceedings
  3. Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
Export Citation

Church-Rosser theorem for conjunctive type systems

Conference Paper uoadl:1046304 446 Read counter

Original Title:
Church-Rosser theorem for conjunctive type systems
Languages of Item:
English
Creator:
Koletsos, George
Stavrinos, George
Abstract:
Empty abstract
Main subject category:
Logic
Other subject categories:
Mathematics
Keywords:
Church-Rosser theorem, conjunctive type systems
Pages (from-to):
25-37
Notes:
Περιλαμβάνει βιβλιογραφικές αναφορες
Persistent URL:
https://pergamos.lib.uoa.gr/uoa/dl/object/1046304
The digital material of the item is not available.
UoA NSRF