Development of computer science studies at the Faculty of Mathematics and Informatics of the Vilnius University

Stanislovas Norgėla

doi:10.15388/LMR.2001.34540

Articles

Stanislovas Norgėla

Vilnius University

Published 2001-12-17

https://doi.org/10.15388/LMR.2001.34540

PDF

How to Cite

Norgėla, S. (2001) “Development of computer science studies at the Faculty of Mathematics and Informatics of the Vilnius University”, Lietuvos matematikos rinkinys, 41(spec.), pp. 313–319. doi:10.15388/LMR.2001.34540.

Download Citation

Abstract

There is not abstract.

PDF

This work is licensed under a Creative Commons Attribution 4.0 International License.

Downloads

Download data is not yet available.

Most read articles by the same author(s)

Stanislovas Norgėla, On decidability of pure hybrid logic , Lietuvos matematikos rinkinys: Vol. 53 (2012): Ser. A
Stanislovas Norgėla, Resolution for hybrid logics , Lietuvos matematikos rinkinys: Vol. 52 (2011)
Stanislovas Norgėla, Linas Petrauskas, Transformations of formulae of hybrid logic , Lietuvos matematikos rinkinys: Vol. 51 (2010)
Daiva Aleknavičiūtė, Stanislovas Norgėla, Proof-search in hybrid logic , Lietuvos matematikos rinkinys: Vol. 48 (2008)
Daiva Aleknavičiūtė, Stanislovas Norgėla, Normal form of formulas of pure hybrid logic , Lietuvos matematikos rinkinys: Vol. 47 (2007)
Stanislovas Norgėla, Anželika Šalaviejienė, Sequent calculus for hybrid logic , Lietuvos matematikos rinkinys: Vol. 46 (2006)
Andrejus Belovas, Stanislovas Norgėla, Sequent calculus Sk4 for skolemized formulas , Lietuvos matematikos rinkinys: Vol. 45 (2005)
Adomas Birštunas, Stanislovas Norgėla, Inverse method for modal logic S4 , Lietuvos matematikos rinkinys: Vol. 43 (2003)
Stanislovas Norgėla, Herbrand expansions of some formulas of modal logic S4 , Lietuvos matematikos rinkinys: Vol. 43 (2003)
Stanislovas Norgėla, Resolution method for some class of formulas of modal logic S4 , Lietuvos matematikos rinkinys: Vol. 44 (2004)

1 2 > >>