Search Results - "Programming Techniques—Logic Programming"
-
1
Authors:
Source: Journal of computer and system sciences
62 (2001): 15–42.
info:cnr-pdr/source/autori:Giannotti F.; Pedreschi D.; Zaniolo C./titolo:Semantics and expressive power of nondeterministic constructs in deductive databases/doi:/rivista:Journal of computer and system sciences (Print)/anno:2001/pagina_da:15/pagina_a:42/intervallo_pagine:15–42/volume:62Subject Terms: nondeterminism, Datalog, first-order relational languages, Computer Networks and Communications, Databases management. Languages, Applied Mathematics, Database theory, 0102 computer and information sciences, 02 engineering and technology, Programming techniques. Logic programming, 16. Peace & justice, 01 natural sciences, expressive power, Theoretical Computer Science, Computational Theory and Mathematics, Deductive databases, operational semantics, 0202 electrical engineering, electronic engineering, information engineering, deductive databases, logic-based languages, declarative semantics, fixpoint, Logic-based languages nondeterminism
File Description: application/xml; application/pdf
Access URL: https://publications.cnr.it/doc/43951
http://www.cnr.it/prodotto/i/43951
https://dblp.uni-trier.de/db/journals/jcss/jcss62.html#GiannottiPZ01
https://www.sciencedirect.com/science/article/pii/S0022000099916999
https://core.ac.uk/display/82373825
https://hdl.handle.net/20.500.14243/43552
https://hdl.handle.net/11568/185330 -
2
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.6 [Software, Programming Techniques—Logic Programming, D.4.9 [Software, Operating Systems—Systems Programs and Utilities General Terms Algorithms, Design, Languages Keywords Constraint logic programming, Eclipse CLP, Hardware programming, PCI
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.511; http://www.barrelfish.org/barrelfish_asplos11.pdf
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.6 [Software, Programming Techniques-Logic Programming, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages-Denotational Semantics, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic-Logic and constraint programming, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving-Logic Programming General Terms, Design, Languages, Theory Additional Key Words and Phrases, Higher-Order Logic Programming, Denotational Semantics, Extensionality, Algebraic Lattices ACM Reference Format
File Description: application/pdf
-
4
Authors:
Source: Cluster Computing; Oct2025, Vol. 28 Issue 7, p1-17, 17p
Subject Terms: EDGE computing, RESOURCE allocation, NETWORK performance
-
5
Authors: Warren, David S.
Source: Communications of the ACM; Mar1992, Vol. 35 Issue 3, p93-111, 19p
-
6
Authors:
Source: ACM Transactions on Computational Logic; Jul2014, Vol. 15 Issue 4, p1-38, 38p
-
7
Authors:
Source: ACM Transactions on Computational Logic; Nov2013, Vol. 14 Issue 4, p1-41, 41p
-
8
Authors: et al.
Source: ACM Transactions on Computational Logic; Aug2013, Vol. 14 Issue 3, p1-40, 40p
Subject Terms: LOGIC programming, SEMANTICS, SET theory, MATHEMATICAL bounds, FIXED point theory, MATHEMATICAL proofs, GENERALIZATION
-
9
Authors:
Source: ACM Transactions on Computational Logic; Jun2013, Vol. 14 Issue 2, p1-40, 40p
Subject Terms: LOGIC programming, SEMANTICS, SET theory, MATHEMATICAL proofs, ALGORITHMS, SYSTEM identification, GENERALIZATION
-
10
Authors: et al.
Source: ACM Transactions on Computer Systems; Feb2012, Vol. 30 Issue 1, p5-5:35, 35p
-
11
Authors: Yi-Dong Shen
Source: ACM Transactions on Computational Logic; Aug2008, Vol. 9 Issue 4, p1-30, 30p, 8 Diagrams
-
12
Authors:
Source: ACM Transactions on Computational Logic; Jun2008, Vol. 9 Issue 3, p17.1-17.43, 43p, 1 Diagram, 2 Charts
-
13
Authors:
Source: ACM Transactions on Computational Logic; Aug2007, Vol. 8 Issue 4, p1-51, 51p, 9 Diagrams, 1 Chart
-
14
Authors:
Source: Studia Universitatis Babeş-Bolyai, Informatica; 2003, Vol. 48 Issue 1, p15-22, 8p
-
15
Authors:
Source: Studia Universitatis Babeş-Bolyai, Informatica; 2002, Vol. 47 Issue 2, p67-74, 8p
-
16
Authors:
Source: ACM Transactions on Database Systems; Mar2002, Vol. 27 Issue 1, p117-151, 35p
-
17
Authors: et al.
Contributors: et al.
Subject Terms: General Terms, Languages, Theory Additional Key Words and Phrases, Epistemological Foundations, Inductive Denitions
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.3835; http://www.cs.kuleuven.ac.be/~marcd/papers/tocl.ID.ps
-
18
Authors:
Contributors:
Subject Terms: Algorithms, Languages, Performance, Theory Keywords Functional Logic Programming Languages, Rewrite Systems, Narrowing
File Description: application/postscript
-
19
Authors: et al.
Contributors: et al.
File Description: application/postscript
-
20
Authors:
Source: ACM Transactions on Database Systems; Sept97, Vol. 22 Issue 3, p364-418, 55p, 2 Diagrams
Subject Terms: DATABASES, LOGIC programming, COMPUTER files, SEMANTICS, INFORMATION theory, COMPUTER programming
Full Text Finder 
Nájsť tento článok vo Web of Science