| |
| 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 | Costas D. Koutras | [4] |
| 2 | Stathis Zachos | [4] |