dblp.uni-trier.dewww.uni-trier.de

George K. Tsiknis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)