Julius Andrikonis

According to our database¹, Julius Andrikonis authored at least 2 papers between 2011 and 2012.

Collaborative distances:

Dijkstra number² of six.
Erdős number³ of five.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2012

Qualitative Reasoning about Space with Hybrid Logic.

[BibT_eX]

[DOI]

Stanislovas Norgela

Julius Andrikonis

Arunas Stockus

Proceedings of the Databases and Information Systems VII, 2012

2011

Effective Method to Obtain Terminating Proof-Search in Transitive Multimodal Logics / ; Efektyvus metodas baigtinei išvedimo paieškai tranzityviose multimodalinėse logikose gauti.

[BibT_eX]

[DOI]

Julius Andrikonis

PhD thesis, 2011

Julius Andrikonis

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...