Name
Title | ||
|---|---|---|
Characterizing X-Separability and One-Side Invertibility in lambda-beta-Omega-Calculus |
Year | DOI | Venue |
|---|---|---|
1988 | 10.1109/LICS.1988.5104 | LICS |
Keywords | Field | DocType |
decidability,X-separability,decidable,lambda - beta - Omega -calculus,mappings,one-side invertibility,right-invertibility,surjectivity | Discrete mathematics,Combinatorics,Finite set,Decidability,Omega,Hash function,Beta (finance),Mathematics,Lambda | Conference |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Corrado Böhm | 1 | 487 | 413.44 |
| Adolfo Piperno | 2 | 329 | 22.64 |