Fixed points play a fundamental role in several areas of computer science and logic by justifying induction and recursive definitions. The construction and properties of fixed points have been investigated in many different frameworks. The aim of the workshop is to provide a forum for researchers to present their results to those members of the computer science and logic communities who study or apply the fixed point operation in the different fields and formalisms.Previous workshops where held in 1998 in Brno and in 2000 in Paris.
Fixed Points in Computer Science / Labella, Anna. - (2001). (Intervento presentato al convegno FICS'2001 tenutosi a Firenze, ITALY nel September 3 - 7, 2001).
Fixed Points in Computer Science
LABELLA, Anna
2001
Abstract
Fixed points play a fundamental role in several areas of computer science and logic by justifying induction and recursive definitions. The construction and properties of fixed points have been investigated in many different frameworks. The aim of the workshop is to provide a forum for researchers to present their results to those members of the computer science and logic communities who study or apply the fixed point operation in the different fields and formalisms.Previous workshops where held in 1998 in Brno and in 2000 in Paris.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
