toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year (down) Publication Publisher ISSN ISBN DOI Volume Pages Links
Böhm, Corrado; Piperno, Adolfo; Tronci, Enrico Solving Equations in λ-calculus 1989 Proc. of: Logic Colloquium 88 details   openurl
Böhm, Corrado; Tronci, Enrico X-Separability and Left-Invertibility in lambda-calculus 1987 Symposium on Logic in Computer Science (LICS) IEEE Computer Society 320-328 details   openurl
Böhm, Corrado; Tronci, Enrico X-separability and left-invertibility in the λ-calculus (extended abstract, invited paper) 1987 Proceedings of: Temi e prospettive della Logica e della Filosofia della Scienza contemporanea details   openurl
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: