Login / Signup
Imants Baruss
Publication Activity (10 Years)
Years Active: 2000-2013
Publications (10 Years): 0
Top Topics
Database Query Languages
Databases
Temporal Logic
Reduction Method
Top Venues
Logica Universalis
</>
Publications
</>
Imants Baruss
,
Robert E. Woodrow
A Reduction Theorem for the Kripke-Joyal Semantics: Forcing Over an Arbitrary Category can Always be Replaced by Forcing Over a Complete Heyting Algebra.
Logica Universalis
7 (3) (2013)
Imants Baruss
Overview of Consciousness Research.
Informatica (Slovenia)
24 (2) (2000)