| Title: |
FICS 2010 |
| Authors: |
Miller, Dale; Carayol, Arnaud; Rondogiannis, Panos; Birkedal, Lars; Czarnecki, Marek; Grall, Hervé; Levy, Paul; Mio, Matteo; Nakata, Keiko; Romashchenko, Andrei; Schwinghammer, Jan; Støvring, Kristian; Uustalu, Tarmo; Waszkiewicz, Pawel |
| Contributors: |
Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX); École polytechnique (X); Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS); Laboratoire d'Informatique Gaspard-Monge (LIGM); Université Paris-Est Marne-la-Vallée (UPEM)-École nationale des ponts et chaussées (ENPC)-ESIEE Paris-Fédération de Recherche Bézout (BEZOUT); Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS); National and Kapodistrian University of Athens (NKUA); IT University of Copenhagen (ITU); Faculty of Mathematics, Informatics, and Mechanics Warsaw (MIMUW); Uniwersytet Warszawski Polska = University of Warsaw Poland = Université de Varsovie Pologne (UW); Laboratoire d'Informatique de Nantes Atlantique (LINA); Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST); Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS); Aspect and composition languages (ASCOLA); Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST); Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN; Mines Nantes (Mines Nantes)-Centre Inria de l'Université de Rennes; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria); School of Computer Science Birmingham; University of Birmingham Birmingham; Laboratory for the Foundations of Computer Science Edinburgh (LFCS); The University of Edinburgh; Institute of Cybernetics Tallinn (IOC; Tallinn University of Technology (TalTech); Laboratoire d'informatique Fondamentale de Marseille - UMR 6166 (LIF); Université de la Méditerranée - Aix-Marseille 2-Université de Provence - Aix-Marseille 1-Centre National de la Recherche Scientifique (CNRS); Programming Systems Lab Saarland; Universität des Saarlandes Saarbrücken = Saarland University Saarbrücken; Uniwersytet Jagielloński w Krakowie = Jagiellonian University = Université Jagellon de Cracovie (UJ); Luigi Santocanale; ANR-09-JCJC-0069,ECSPER,Etude et Conception de Systèmes avec Perturbations(2009) |
| Source: |
Fixed Points in Computer Science 2010 ; 7th Workshop on Fixed Points in Computer Science, FICS 2010 ; https://hal.science/hal-00512377 ; 7th Workshop on Fixed Points in Computer Science, FICS 2010, Aug 2010, Brno, Czech Republic. pp.89 |
| Publisher Information: |
CCSD |
| Publication Year: |
2010 |
| Collection: |
École Polytechnique, Université Paris-Saclay: HAL |
| Subject Terms: |
Fixed points; mu-calculi; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]; [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]; [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT] |
| Subject Geographic: |
Brno; Czech Republic |
| Description: |
International audience ; Informal proceedings of the 7th workshop on Fixed Points in Computer Science (FICS 2010), held in Brno, 21-22 August 2010 |
| Document Type: |
conference object |
| Language: |
English |
| Availability: |
https://hal.science/hal-00512377; https://hal.science/hal-00512377v1/document; https://hal.science/hal-00512377v1/file/proceedings.pdf |
| Rights: |
https://about.hal.science/hal-authorisation-v1/ ; info:eu-repo/semantics/OpenAccess |
| Accession Number: |
edsbas.79C39D2 |
| Database: |
BASE |