Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Logical programming")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 6689

  • Page / 268
Export

Selection :

  • and

Computer science logic (20th international workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006)Esik, Zoltan.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-45458-6, 1Vol, XII-626 p, isbn 3-540-45458-6Conference Proceedings

Towards structured contexts and modulesABREU, Salvador; NOGUEIRA, Vitor.Lecture notes in computer science. 2006, pp 436-438, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 3 p.Conference Paper

Smodels with CLP: A treatment of aggregates in ASPPONTELLI, Enrico; TRAN CAO SON; ELKABANI, Islam et al.Lecture notes in computer science. 2004, pp 356-360, issn 0302-9743, isbn 3-540-20721-X, 5 p.Conference Paper

System description: DLV with aggregatesDELL'ARMI, Tina; FABER, Wolfgang; IELPA, Giuseppe et al.Lecture notes in computer science. 2004, pp 326-330, issn 0302-9743, isbn 3-540-20721-X, 5 p.Conference Paper

Tabling structures for bottom-Up logic programmingCLAYTON, Roger; CLEARY, John G; PFAHRINGER, Bernhard et al.Lecture notes in computer science. 2003, pp 50-51, issn 0302-9743, isbn 3-540-40438-4, 2 p.Conference Paper

Deducing logic programsWONG, Ka-Shu.Lecture notes in computer science. 2006, pp 471-472, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

CSL 2005 : computer science logic (Oxford, 22-25 August 2005)Ong, Luke.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28231-9, XI, 565 p, isbn 3-540-28231-9Conference Proceedings

Logic programming (Saint Malo, 6-10 September 2004)Demoen, Bart; Lifschitz, Vladimir.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22671-0, XII, 480 p, isbn 3-540-22671-0Conference Proceedings

The period constraintBELDICEANU, Nicolas; PODER, Emmanuel.Lecture notes in computer science. 2004, pp 329-342, issn 0302-9743, isbn 3-540-22671-0, 14 p.Conference Paper

Self-adjusting computationHARPER, Robert.Symposium on Logic in Computer Science. 2004, pp 254-255, isbn 0-7695-2192-4, 1Vol, 2 p.Conference Paper

Computer science logic (Vienna, 25-30 August 2003)Baaz, Matthias; Makowsky, Johann A.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-40801-0, XII, 590 p, isbn 3-540-40801-0Conference Proceedings

Handling incomplete and complete tables in tabled logic programsROCHA, Ricardo.Lecture notes in computer science. 2006, pp 427-428, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

Logic based program synthesis and transformation (15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005)Hill, Patricia.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-32654-5, 1Vol, X-178 p, isbn 3-540-32654-5Conference Proceedings

On the BEAM implementationLOPES, Ricardo; SANTOS COSTA, Vitor; SILVA, Fernando et al.Lecture notes in computer science. 2003, pp 131-135, issn 0302-9743, isbn 3-540-20589-6, 5 p.Conference Paper

Logical and meta-logical frameworksPFENNING, F.Lecture notes in computer science. 1999, issn 0302-9743, isbn 3-540-66540-4, p. 206Conference Paper

Logic programming (22nd international conference, ICLP 2006)Etalle, Sandro; Truszczyński, Mirosław.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-36635-0, 1Vol, XIV-474 p, isbn 3-540-36635-0Conference Proceedings

Logic programming (Paphos, 26 November - 1 December 2001)Codognet, Philippe.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42935-2, XI, 364 p, isbn 3-540-42935-2Conference Proceedings

Frontiers of combining systems (5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, proceedings)Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-29051-6, 1Vol, X-320 p, isbn 3-540-29051-6Conference Proceedings

GnT: A solver for disjunctive logic programsJANHUNEN, Tomi; NIEMELÄ, Ilkka.Lecture notes in computer science. 2004, pp 331-335, issn 0302-9743, isbn 3-540-20721-X, 5 p.Conference Paper

LICS 2004 (proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science)Symposium on Logic in Computer Science. 2004, isbn 0-7695-2192-4, 1Vol, XIII-467 p, isbn 0-7695-2192-4Conference Proceedings

An arithmetical hierarchy of the law of excluded middle and related principlesAKAMA, Yohji; BERARDI, Stefano; HAYASHI, Susumu et al.Symposium on Logic in Computer Science. 2004, pp 192-201, isbn 0-7695-2192-4, 1Vol, 10 p.Conference Paper

LPNMR 2004 : logic programming and nonmonotonic reasoning (Fort Lauderdale FL, 6-8 January 2004)Lifschitz, Vladimir; Niemelä, Ilkka.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-20721-X, IX, 364 p, isbn 3-540-20721-XConference Proceedings

Collecting potential optimisationsMAZUR, Nancy; JANSSENS, Gerda; VANHOOF, Wim et al.Lecture notes in computer science. 2003, pp 109-110, issn 0302-9743, isbn 3-540-40438-4, 2 p.Conference Paper

Competitive partial evaluation: some remaining problems of partial evaluationTAKEUCHI, A; FUJITA, H.New generation computing. 1988, Vol 6, Num 2-3, pp 259-277, issn 0288-3635Conference Paper

A categorical semantics of quantum protocolsABRAMSKY, Samson; COECKE, Bob.Symposium on Logic in Computer Science. 2004, pp 415-425, isbn 0-7695-2192-4, 1Vol, 11 p.Conference Paper

  • Page / 268