| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 5 |      | Konstantinos Barlas, George Koletsos, Petros S. Stefaneas: Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking CoRR abs/1103.2787: (2011) |
| 1999 | ||
| 4 | | Costas D. Koutras, George Koletsos, Stathis Zachos: Many-Valued Modal Non-Monotonic Reasoning: Sequential Stable Sets and Logics with Linear Truth Spaces. Fundam. Inform. 38(3): 281-324 (1999) |
| 1991 | ||
| 3 | | George Koletsos: Polymorphic Lambda Calculus: The Church-Rosser Property. Theor. Comput. Sci. 79(2): 365-371 (1991) |
| 1985 | ||
| 2 |  | George Koletsos: Church-Rosser Theorem for Typed Functional Systems. J. Symb. Log. 50(3): 782-790 (1985) |
| 1 | | George Koletsos: Functional Interpretation of the beta-Rule. J. Symb. Log. 50(3): 791-805 (1985) |
| 1 | Konstantinos Barlas | [5] |
| 2 | Costas D. Koutras | [4] |
| 3 | Petros S. Stefaneas | [5] |
| 4 | Stathis Zachos | [4] |
Colors in the list of coauthors
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page