publikációk / publications
- Ásványi Tibor, Gregorics Tibor: A More Effective Version
of Algorithm A, Annales Univ. Sci. Bud. Sec. Comp. 17
(1998) 33-48.
- Ásványi Tibor: Functions in Full Prolog, Annales Univ.
Sci. Bud. Sec. Comp. 17 (1998) 17-32.
- Ásványi Tibor: Functional-Logic Programming with
Expression Reduction, Pure Mathematics and Applications
(PU.M.A.), Budapest University of Economic Sciences, Budapest,
Vol. 9 (1998), No. 1-2, pp. 1-16.
- Ásványi Tibor: A Generalization of Arithmetic Expressions
in SICStus Prolog, in 7th International Workshop
on Functional and Logic Programming, Proceedings, University of
Münster, Germany, June 1998.
- Ásványi Tibor: Adding
Functions to SICStus Prolog, in Logic Programming: The 1999 International
Conference (Ed. by
Danny De Schreye), Poster Abstracts, pp. 605. The MIT Press,
London, 1999.
- Ásványi Tibor: Nar-Prolog implemented in a SICStus
Prolog 3 module ( it is available from user asvanyi on inf.elte.hu ),
Budapest, 1995-1999.
- Ásványi Tibor:
PLN (Prolog with narrowing: a functional
extension of Prolog) implemented in a SICStus Prolog 3
module ( it is available from user asvanyi on inf.elte.hu ),
Budapest, 2000-2003.
- Ásványi Tibor: User's
Functions in Standard Prolog, in
Proceedings of the Eighth Symposium on Programming Languages
and Software Tools, (Ed.
by Pekka Kilpelainen, Niina Paiviken), selected papers,
pp. 103-114. Department of Computer Science, University of
Kuopio, Kuopio, June 2003.
- Ásványi Tibor: Logikai
programozás, (lektor:
Pásztorné Dr. Varga Katalin), in
Programozási nyelvek, (szerkesztő: Nyékyné Dr.
Gaizler Judit), pp. 637-684. Kiskapu Kft. Budapest, 2003.
- Ásványi Tibor: Teaching
Prolog Programming at the Eötvös Loránd University, Budapest,
in Proceedings of the
First International Workshop on Teaching Logic Programming, at 20th International
Conference on Logic Programming, Saint-Malo, France, 2004. (Ed. by Mirelle Ducassé, Ulf
Nilsson and Dietmar Seipel) pp. 35-42.
- Ásványi
Tibor: Programming with Indirect Pointers, in Proceedings of the 10th Symposium on Programming
Languages and Software tools (ISBN
978 963 463 925 1), at SPLST 2007, Dobogókő, Hungary,
14-16 June 2007. (Ed. by
Zoltán Horváth, László Kozma, Viktóra Zsók) pp.186-198.
- Ásványi Tibor: Logic programming and Prolog, in
Advanced
Programming Languages, (Ed. by Nyékyné Gaizler
Judit) Budapest: Eötvös Loránd Tudományegyetem, 2014. pp.
932-1011. (ISBN:978-963-284-450-3)
- Ásványi Tibor: Representation transformations of ordered
lists, in Annales
Mathematicae et Informaticae, Eger, Hungary: Institute of
Mathematics and Informatics of Eszterházy Károly College, Vol.
44 (2015) pp. 5-13. ISSN 1787-5021 (Print), ISSN 1787-6117
(Online).
- Ásványi Tibor: A felajánlás énekei (4; 10; 32; 43; 52;
68; 83; 100; 101; 102.) − Rabindranath Tagore: Gitanjali
című verseskötetének magyarítása a szerző angol nyelvű
prózafordítása (Song Offerings, 1912) alapján − Életünk,
LIV. évfolyam, 2016 − 12. pp. 41−47. <http://www.bdmk.hu/editor_up2/2016/Eletunk/Eletunk_2016_12.pdf>
- Ásványi
Tibor: Detecting
negative cycles with Tarjan's breadth-first scanning
algorithm, in Proceedings of the 11th Joint Conference on
Mathematics and Computer Science, MaCS 2016, Eger,
Hungary, May 20-22, 2016. (Edited by Emil Vatai, Eötvös
Loránd University, Faculty of Informatics, 1117 Budapest,
Hungary)
- Ásványi Tibor: A felajánlás énekei (teljes) −
Rabindranath Tagore: Gitanjali című verseskötetének
magyarítása a szerző angol nyelvű prózafordítása (Song
Offerings, 1912) alapján − Napút-füzetek, Káva Téka 136.
szám, Cédrus Művészeti Alapítvány 2019 − ISSN 1787-6877 − ISBN
978-615-81268-6-1 − <http://www.naputonline.hu/2019/10/16/kava-teka-136-szam/>