*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 205*number_thousands_separator*925

1

*This result is not displayed to guests*

2

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

005.3 logic programming
*Dissertation/ Thesis*
3

*This result is not displayed to guests*

4

Exploiting Parallelism in Coalgebraic Logic Programming
Komendantskaya, Ekaterina ; Schmidt, Martin ; Heras, Jónathan

Computer Science - Progr...
*Report*
6

Programming Languages and Systems
Sergey, Ilya

automata theory computer programming computer systems databases distributed computer sys... distributed systems
*eBook*
7

Programming Languages and Systems
Yoshida, Nobuko

Programming Languages, C... Natural Language Process... Software Engineering Logics and Meanings of P... Computer Systems Organiz... Compilers and Interprete...
*eBook*
8

*This result is not displayed to guests*

9

Programming Languages and Systems
Müller, Peter

Programming Languages, C... Computer Systems Organiz... Control Structures and M... Information Systems and... Natural Language Process... Theory of Computation
*eBook*
10

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

*Academic Journal*
11

*This result is not displayed to guests*

12

An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning.
Burrieza, A. ; Mora, A. ; Ojeda-Aciego, M. ; et al.
International Journal of Computer Mathematics. Oct/Nov2009, Vol. 86 Issue 10/11, p1852-1866. 15p. 2 Diagrams.

Logic programming Programming languages Qualitative reasoning Prolog (Computer program... Multimodal user interfac...
*Academic Journal*
13

Reasoning about UML/OCL class diagrams using constraint logic programming and formula.
Pérez, Beatriz ; Porres, Ivan
Information Systems. Mar2019, Vol. 81, p152-177. 26p.

Logic programming Computer software develo... Reasoning Unified modeling languag... Plug-ins (Computer progr...
*Academic Journal*
14

A logical and graphical framework for reaction systems
Brodo, Linda ; Bruni, Roberto ; Falaschi, Moreno
In Theoretical Computer Science 6 July 2021 875:1-27

*Academic Journal*
15

*This result is not displayed to guests*

16

A Java Prototype Implementation of Coordination for Heterogeneous, Distributed, and Parallel Programming
Hao Wu ; Chia-Chu Chiang
International Journal of Software Engineering and Its Applications, 04/30/2012, Vol. 6, Issue 2, p. 71-92

*Academic Journal*
17

SOS Rules for Equivalences of Reaction Systems
Brodo, Linda ; Bruni, Roberto ; Falaschi, Moreno

Computer Science - Logic... Computer Science - Progr... 68N15 (Primary) 68N30 (S... F.3.1 F.3.2
*Report*
18
19

Backtracking in independent And-parallel implementations of logic programming languages
Pontelli, Enrico ; Gupta, Gopal
IEEE Transactions on Parallel and Distributed Systems. Nov, 2001, Vol. 12 Issue 11, p1169, 18 p.

*Academic Journal*
20

Reversible Computation: Extending Horizons of Computing
Ulidowski, Irek ; Lanese, Ivan ; Schultz, Ulrik Pagh ; et al.

Logic Design Computer System Implemen... Computer Communication N... Special Purpose and Appl... Software Engineering Operating Systems
*eBook*

*Filter*