Travelled to:1 × Switzerland
2 × Germany
Collaborated with:∅
Talks about:formula (2) variabl (1) monoton (1) infinit (1) correct (1) complex (1) normal (1) reduc (1) logic (1) error (1)
Person: Daniele Mundici
DBLP: Mundici:Daniele
Contributed to:
199119901989Wrote 3 papers:
- CSL-1991-Mundici #logic #normalisation
- Normal Forms in Infinite-Valued Logic: The Case of One Variable (DM), pp. 272–277.
- CSL-1990-Mundici #adaptation #complexity
- The Complexity of Adaptive Error-Correcting Codes (DM), pp. 300–307.
- CSL-1989-Mundici
- Reducibility of Monotone Formulas to μ-Formulas (DM), pp. 267–270.