George K. Tsiknis

	1995
7		Alex Kean, George K. Tsiknis: A Computational System for Symbolic Belief Revision. Deductive Databases / Abduction in Deductive Databases 1995: 159-173
	1994
6		Alex Kean, George K. Tsiknis: A Corrigendum for the Optimized-IPIA. J. Symb. Comput. 17(2): 181-187 (1994)
	1993
5		Alex Kean, George K. Tsiknis: Clause Management Systems. Computational Intelligence 9: 11-40 (1993)
4		Paul C. Gilmore, George K. Tsiknis: A Logic for Category Theory. Theor. Comput. Sci. 111(1&2): 211-252 (1993)
3		Paul C. Gilmore, George K. Tsiknis: Logical Foundations for Programming Semantics. Theor. Comput. Sci. 111(1&2): 253-290 (1993)
	1992
2		Alex Kean, George K. Tsiknis: Assumption-Based Reasoning and Clause Management Systems. Computational Intelligence 8: 1-24 (1992)
	1990
1		Alex Kean, George K. Tsiknis: An Incremental Method for Generating Prime Implicants/Impicates. J. Symb. Comput. 9(2): 185-206 (1990)

Coauthor Index

1	Paul C. Gilmore	[3] [4]
2	Alex Kean	[1] [2] [5] [6] [7]

Colors in the list of coauthors