DOI10.1016/0304-3975(92)90324-9zbMath0745.68072MaRDI QIDQ1185016
S. Singh
Publication date: 28 June 1992 Published in: Theoretical Computer Science (Search for Journal in Brave) Full work available at URL: https://surface.syr.edu/eecs_techreports/33
zbMATH Keywords
Scott domains; least fixed point semantics of logic programming
Mathematics Subject Classification ID
68Q55: Semantics in the theory of computing
68N17: Logic programming
Cites Work