Volume 17 (1998)
-
Index in PDF
Front peges
Back pages -
Alexin Z., Gyimóthy T. and Kókai G.
IDT: Integrated system for debugging and testing Prolog programs
Full text in PDF -
Ásványi T.
Functions in full Prolog
Full text in PDF -
Ásványi T. and Gregorics T.
A more effective version of algorithm A
Full text in PDF -
Benczúr A. and Chu Ky Quang
Correctness criteria for databases using abstract data types
Full text in PDF -
Benczúr A., Novák Á.B. and Revesz P.Z.
On weighted knowledgebase transformations
Full text in PDF -
Czabala P.
Parallel principles used in the Open VMS operating system
Full text in PDF -
Fekete I.
Remarks on knowledge representation using predicate logic
Full text in PDF -
Fóthi Á., Horváth Z. and Kozsik T.
Parallel elementwise processing - a Novel version
Full text in PDF -
Fóthi Á. and Nyéky-Gaizler J.
A theoretical approach to program inversion
Full text in PDF -
Granö K., Harju J., Järvinen T., Larikka T. and Paakki J.
Kannel - A language for tuning protocols
Full text in PDF -
Harangozó É., Szlávi P. and Zsakó L.
Joining programming theorems. A practical approach to program building
Full text in PDF -
Horváth Z.
The formal specification of a problem solved by a parallel program - a relational model
Full text in PDF -
Illés Z. and Havancsák K.
Real-time computer measurement control under DOS-Windows operating system
Full text in PDF -
Kellomäki P.
Mechanizing invariant proofs of joint action systems
Full text in PDF -
Kiho J.
Quasi-structured programs
Full text in PDF -
Kovács Gy., Hajas Cs. and Quilio I.
Representations and query languages of nested relations
Full text in PDF -
Kozma L. and Rácz É.
A specification technique for scheduling the methods of concurrent objects
Full text in PDF -
Köműves J., Csink L., Cseresznye Zs., Kőrösi L. and Puskely M.
An OCR program applying classical methods and neural networks
Full text in PDF -
Männistö T., Systä T. and Tuomi J.
Synthesizing OMT state diagrams
Full text in PDF -
Nikovits T., Kiss A. and Chretien D.
Representation and query languages of fuzzy relational databases
Full text in PDF -
Paakki J., Gyimóthy T. and Horváth T.
Independent and-parallelization of logic programs using static slicing
Full text in PDF -
Pásztor-Varga K.
Theorem proving method and the computer science
Full text in PDF -
Pöial J.
Remarks on language extensibility
Full text in PDF -
Schrettner L., Gyimóthy T., Alexin Z. and Toczki J.
Parallel execution of object functional queries
Full text in PDF -
Szarapka L., Budimac Z. and Ivanović M.
Type checking and problem of overloaded arguments
Full text in PDF -
Toczki J. and Schrettner L.
Attribute grammar applications
Full text in PDF -
Tombak M. and Sillitoe I.
On the superposition of Boolean functions
Full text in PDF -
Tuovinen A.-P.
Using compiler techniques to convert an SQL application for a new DBMS
Full text in PDF -
Vámossy Z., Csink L., Schröder J., Okulan N., Katzer I., Molnár F. and Szabó E.
Recognition based object classifying system in robot environment
Full text in PDF
© 2011
