Theory and Practice of Logic Programming

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Theory and Practice of Logic Programming
 
e-ISSN
1475-3081
 
ISSN
1471-0684
 
Publisher Herausgeber
CAMBRIDGE UNIV PRESS
 
Publisher's Address Herausgeber Adresse
EDINBURGH BLDG, SHAFTESBURY RD, CAMBRIDGE, ENGLAND, CB2 8RU
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Filter:
Author:  WOLTRAN, STEFAN
Date Issued:  [2000 TO 2009]

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1WOLTRAN, STEFAN A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set ProgrammingArtikel Article2008
2PEARCE, DAVID ; TOMPITS, HANS ; WOLTRAN, STEFAN Characterising Equilibrium Logic and Nested Logic Programs: Reductions and ComplexityArtikel Article2009
3TRUSZCZYŃSKI, MIROSŁAW ; WOLTRAN, STEFAN Relativized hyperequivalence of logic programs for modular programmingArtikel Article2009