`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:

### Wrote 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.