scientific article
From MaRDI portal
Publication:2701742
zbMath1064.68026MaRDI QIDQ2701742
Thom Frühwirth, Slim Abdennadher
Publication date: 19 February 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Related Items
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR, Scheduling and routing of automated guided vehicles: A hybrid approach, A Formal Semantics for the Cognitive Architecture ACT-R, Unfolding for CHR programs, Unnamed Item, Towards constraint-based school timetabling, Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates, Welcome to Constraint Handling Rules, Mutation testing in UTP, A full first-order constraint solver for decomposable theories, Snapshot Generation in a Constructive Object-Oriented Modeling Language, A Full First-Order Constraint Solver for Decomposable Theories, Expander2: Program Verification Between Interaction and Automation