Home << 1 >>
List View
 | 
Citations
 | 
Details
   web
Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages
Piperno, Adolfo; Tronci, Enrico Regular Systems of Equations in λ-calculus 1990 Int. J. Found. Comput. Sci. 10.1142/S0129054190000230 1 325-340