Reducibility of monotone formulas to µ-formulas

REDUCIBILITY OF MONOTONE FORMULAS TO $MU$-FORMULAS / D. MUNDICI. - STAMPA. - (1990), pp. 267-270. [10.1007/3-540-52753-2_45]

REDUCIBILITY OF MONOTONE FORMULAS TO $MU$-FORMULAS

MUNDICI, DANIELE
1990

Abstract

Reducibility of monotone formulas to µ-formulas
1990
CSL '89 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
267
270
D. MUNDICI
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/3634
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact