Volume 17 (1998)
Pages: 1–2
IDT: Integrated system for debugging and testing Prolog programs
Pages: 3–16
Pages: 17–32
A more effective version of algorithm A
Pages: 33–48
Correctness criteria for databases using abstract data types
Pages: 49–64
On weighted knowledgebase transformations
Pages: 65–78
Parallel principles used in the Open VMS operating system
Pages: 79–96
Remarks on knowledge representation using predicate logic
Pages: 97–104
Parallel elementwise processing — a Novel version
Pages: 105–124
A theoretical approach to program inversion
Pages: 125–135
Kannel — A language for tuning protocols
Pages: 137–154
Joining programming theorems. A practical approach to program building
Pages: 155–172
The formal specification of a problem solved by a parallel program — a relational model
Pages: 173–191
Real-time computer measurement control under DOS-Windows operating system
Pages: 193–199
Mechanizing invariant proofs of joint action systems
Pages: 201–217
Pages: 219–234
Representations and query languages of nested relations
Pages: 235–252
A specification technique for scheduling the methods of concurrent objects
Pages: 253–268
An OCR program applying classical methods and neural networks
Pages: 269–276
Synthesizing OMT state diagrams
Pages: 277–292
Representation and query languages of fuzzy relational databases
Pages: 293–306
Independent and-parallelization of logic programs using static slicing
Pages: 307–319
Theorem proving method and the computer science
Pages: 321–329
Remarks on language extensibility
Pages: 331–338
Parallel execution of object functional queries
Pages: 339–354
Type checking and problem of overloaded arguments
Pages: 355–365
Attribute grammar applications
Pages: 367–380
On the superposition of Boolean functions
Pages: 381–389
Using compiler techniques to convert an SQL application for a new DBMS
Pages: 391–403
Recognition based object classifying system in robot environment
Pages: 405–416
Pages: 417–418
Pages: 419–420