Pereira, Alexandre Miguel
6779  Ergebnisse:
Personensuche X
?
6

Modularization of Logic Programs:

, In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science,
 
?
7

Layerings of Logic Programs - Layer Decomposable Semantics ..:

, In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science,
 
?
 
1-15