Search the dblp DataBase
George K. Tsiknis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Alex Kean, George K. Tsiknis
An Incremental Method for Generating Prime Implicants/Impicates. [Citation Graph (1, 0)][DBLP]
J. Symb. Comput., 1990, v:9, n:2, pp:185-206 [Journal] - Alex Kean, George K. Tsiknis
A Computational System for Symbolic Belief Revision. [Citation Graph (0, 0)][DBLP]
Deductive Databases / Abduction in Deductive Databases, 1995, pp:159-173 [Conf] - Alex Kean, George K. Tsiknis
Assumption-Based Reasoning and Clause Management Systems. [Citation Graph (0, 0)][DBLP]
Computational Intelligence, 1992, v:8, n:, pp:1-24 [Journal] - Alex Kean, George K. Tsiknis
Clause Management Systems. [Citation Graph (0, 0)][DBLP]
Computational Intelligence, 1993, v:9, n:, pp:11-40 [Journal] - Alex Kean, George K. Tsiknis
A Corrigendum for the Optimized-IPIA. [Citation Graph (0, 0)][DBLP]
J. Symb. Comput., 1994, v:17, n:2, pp:181-187 [Journal] - Paul C. Gilmore, George K. Tsiknis
A Logic for Category Theory. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1993, v:111, n:1&2, pp:211-252 [Journal] - Paul C. Gilmore, George K. Tsiknis
Logical Foundations for Programming Semantics. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1993, v:111, n:1&2, pp:253-290 [Journal]
Search in 0.002secs, Finished in 0.003secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002