DatalogZ 1970-01-01
Read the full article
DiVincenzo's criteria 1970-01-01
Read the full article
Vytautas Pociūnas 1970-01-01
Read the full article
Dynamic logic (modal logic) 1970-01-01
Read the full article
Paulius Saudargas 1970-01-01
Read the full article
Programming language semantics 1970-01-01
Read the full article
Event calculus 1970-01-01
Read the full article
Ignacas Stasys Uždavinys 1970-01-01
Read the full article
Quantum gates 1970-01-01
Read the full article
Terminal (Tunnels novel) 1970-01-01
Read the full article
Type theory 1970-01-01
Read the full article
Jonas Acus-Acukas 1970-01-01
Read the full article
Kazimieras Ragulskis 1970-01-01
Read the full article
Kazys Almenas 1970-01-01
Read the full article
Lithuanian astrophysicists 1970-01-01
Read the full article
ACM Transactions on Computational Logic 1970-01-01
Read the full article
Aloyzas Sakalas 1970-01-01
Read the full article
Alternating-time temporal logic 1970-01-01
Read the full article
Anti-unification (computer science) 1970-01-01
Read the full article
Assertion (software development) 1970-01-01
Read the full article