toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
Pugliese, Rosario; Tronci, Enrico Automatic Verification of a Hydroelectric Power Plant 1996 Third International Symposium of Formal Methods Europe (FME), Co-Sponsored by IFIP WG 14.3 Springer 3-540-60973-3 10.1007/3-540-60973-3_100 425-444 details   doi
Tronci, Enrico Equational Programming in Lambda-Calculus via SL-Systems. Part 1 1996 Theoretical Computer Science 10.1016/0304-3975(95)00105-0 160 145-184 details   pdf doi
Tronci, Enrico Equational Programming in Lambda-Calculus via SL-Systems. Part 2 1996 Theoretical Computer Science 10.1016/0304-3975(95)00106-9 160 185-216 details   pdf doi
Tronci, Enrico Hardware Verification, Boolean Logic Programming, Boolean Functional Programming 1995 Tenth Annual IEEE Symposium on Logic in Computer Science (LICS) IEEE Computer Society 10.1109/LICS.1995.523275 408-418 details   pdf doi
Tronci, Enrico Defining Data Structures via Böhm-Out 1995 J. Funct. Program. 10.1017/S0956796800001234 5 51-64 details   doi
Tronci, Enrico Equational Programming in lambda-calculus 1991 Sixth Annual IEEE Symposium on Logic in Computer Science (LICS) IEEE Computer Society 10.1109/LICS.1991.151644 191-202 details   pdf doi
Böhm, Corrado; Tronci, Enrico About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus 1991 Inf. Comput. 10.1016/0890-5401(91)90057-9 90 1-32 details   doi
Piperno, Adolfo; Tronci, Enrico Regular Systems of Equations in λ-calculus 1990 Int. J. Found. Comput. Sci. 10.1142/S0129054190000230 1 325-340 details   pdf doi
Piperno, Adolfo; Tronci, Enrico Regular Systems of Equations in λ-calculus 1989 Ictcs 10.1142/S0129054190000230 details   doi
Böhm, Corrado; Piperno, Adolfo; Tronci, Enrico Solving Equations in λ-calculus 1989 Proc. of: Logic Colloquium 88 details   openurl
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: