• Suche: Programming language implementation and logic programming

Treffer 1 - 20 von 189.714

4

Incremental constraint satisfaction for equational logic programming
Programming language implementation and logic programming
Alpuente, M. ; Falaschi, M. ; Levi, G.
THEORETICAL COMPUTER SCIENCE -AMSTERDAM-. 142(1):27-58

Konferenz
Merkliste
5

Dieses Ergebnis kann Gästen nicht angezeigt werden.

6

Exploiting Parallelism in Coalgebraic Logic Programming
Komendantskaya, Ekaterina ; Schmidt, Martin ; Heras, Jónathan
In Electronic Notes in Theoretical Computer Science 28 March 2014 303:121-148

Fachzeitschrift
Merkliste
9

A Logic for Encapsulation in Object Oriented Languages
Programming language implementation and logic programming
Bugliesi, M. ; Jamil, H. M.
LECTURE NOTES IN COMPUTER SCIENCE. (844):215-229

Konferenz
Merkliste
10

Dieses Ergebnis kann Gästen nicht angezeigt werden.

11

Dynamic detection of determinism in functional logic languages
Programming language implementation and logic programming
Loogen, R. ; Winkler, S.
THEORETICAL COMPUTER SCIENCE -AMSTERDAM-. 142(1):59-88

Konferenz
Merkliste
12

Abstracting Synchronization in Concurrent Constraint Programming
Programming language implementation and logic programming
Zaffanella, E. ; Giacobazzi, R. ; Levi, G.
LECTURE NOTES IN COMPUTER SCIENCE. (844):57-72

Konferenz
Merkliste
14

Language interoperability and logic programming languages
Cook, Jonathan J. ; Gilmore, Stephen

005.3 logic programming
Dissertation
Merkliste
15

Automated Deduction – CADE 29
Pientka, Brigitte ; Tinelli, Cesare

artificial intelligence automata theory Boolean functions formal languages formal logic model checking …
E-Book
Merkliste
16

Implementations of Program Composition Operations
Programming language implementation and logic programming
Brogi, A. ; Chiarelli, A. ; Mancarella, P. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE. (844):292-307

Konferenz
Merkliste
18

A Portable and Efficient Implementation of KL1
Programming language implementation and logic programming
Chikayama, T. ; Fujise, T. ; Sekita, D.
LECTURE NOTES IN COMPUTER SCIENCE. (844):25-39

Konferenz
Merkliste
20

PROMAL: Programming in Modal Action Logic
Programming language implementation and logic programming
Rodrigues, O. ; Benevides, M.
LECTURE NOTES IN COMPUTER SCIENCE. (844):457-458

Konferenz
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter