We stand with Ukraine  

George K. Tsiknis

Affiliations:
  • University of British Columbia, Vancouver, Canada


According to our database1, George K. Tsiknis authored at least 8 papers between 1990 and 1995.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

1995
A Computational System for Symbolic Belief Revision.
[BibTeX]
Alex Kean
,
George K. Tsiknis
Proceedings of the Deductive Databases and Logic Programming, 1995

1994
A Corrigendum for the Optimized-IPIA.
[BibTeX]
[DOI]
Alex Kean
,
George K. Tsiknis
J. Symb. Comput., 1994

1993
Logical Foundations for Programming Semantics.
[BibTeX]
[DOI]
Paul C. Gilmore
,
George K. Tsiknis
Theor. Comput. Sci., 1993

A Logic for Category Theory.
[BibTeX]
[DOI]
Paul C. Gilmore
,
George K. Tsiknis
Theor. Comput. Sci., 1993

Clause Management Systems.
[BibTeX]
[DOI]
Alex Kean
,
George K. Tsiknis
Comput. Intell., 1993

Adding Abstraction to Logic Programming. The Logistic Approach.
[BibTeX]
George K. Tsiknis
Proceedings of the Workshop on Logic Programming with Sets, 1993

1992
Assumption-Based Reasoning and Clause Management Systems.
[BibTeX]
[DOI]
Alex Kean
,
George K. Tsiknis
Comput. Intell., 1992

1990
An Incremental Method for Generating Prime Implicants/Impicates.
[BibTeX]
[DOI]
Alex Kean
,
George K. Tsiknis
J. Symb. Comput., 1990


  Loading...