Search dblp for Publications

export results for "toc:db/conf/fics/fics2003.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fics/AbelM03,
  author       = {Andreas Abel and
                  Ralph Matthes},
  editor       = {Zolt{\'{a}}n {\'{E}}sik and
                  Igor Walukiewicz},
  title        = {Primitive Recursion for Rank-2 Inductive Types},
  booktitle    = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
                  Workshop, Warsaw, Poland, April 12-13, 2003},
  pages        = {1--3},
  publisher    = {University of Warsaw},
  year         = {2003},
  url          = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=6},
  timestamp    = {Tue, 04 Aug 2020 15:14:17 +0200},
  biburl       = {https://dblp.org/rec/conf/fics/AbelM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fics/ArnoldS03,
  author       = {Andr{\'{e}} Arnold and
                  Luigi Santocanale},
  editor       = {Zolt{\'{a}}n {\'{E}}sik and
                  Igor Walukiewicz},
  title        = {On Ambiguous Classes in the mu-Calculus Hierarchy of Tree Languages},
  booktitle    = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
                  Workshop, Warsaw, Poland, April 12-13, 2003},
  pages        = {4--13},
  publisher    = {University of Warsaw},
  year         = {2003},
  url          = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=9},
  timestamp    = {Tue, 04 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fics/ArnoldS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fics/DanosD03,
  author       = {Vincent Danos and
                  Jos{\'{e}}e Desharnais},
  editor       = {Zolt{\'{a}}n {\'{E}}sik and
                  Igor Walukiewicz},
  title        = {A Fixpoint Logic for Labeled Markov Processes},
  booktitle    = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
                  Workshop, Warsaw, Poland, April 12-13, 2003},
  pages        = {14--18},
  publisher    = {University of Warsaw},
  year         = {2003},
  url          = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=19},
  timestamp    = {Tue, 04 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fics/DanosD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fics/Dominguez03,
  author       = {Lu{\'{\i}}s Dominguez},
  editor       = {Zolt{\'{a}}n {\'{E}}sik and
                  Igor Walukiewicz},
  title        = {A Bisimilarity Logical Relation for the Object Calculus {S}},
  booktitle    = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
                  Workshop, Warsaw, Poland, April 12-13, 2003},
  pages        = {19--31},
  publisher    = {University of Warsaw},
  year         = {2003},
  url          = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=24},
  timestamp    = {Tue, 04 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fics/Dominguez03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fics/GhaniU03,
  author       = {Neil Ghani and
                  Tarmo Uustalu},
  editor       = {Zolt{\'{a}}n {\'{E}}sik and
                  Igor Walukiewicz},
  title        = {Coproducts of Ideal Monads (Extended Abstract)},
  booktitle    = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
                  Workshop, Warsaw, Poland, April 12-13, 2003},
  pages        = {32--36},
  publisher    = {University of Warsaw},
  year         = {2003},
  url          = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=37},
  timestamp    = {Tue, 04 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fics/GhaniU03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fics/Gradel03,
  author       = {Erich Gr{\"{a}}del},
  editor       = {Zolt{\'{a}}n {\'{E}}sik and
                  Igor Walukiewicz},
  title        = {Inflationary and Deflationary Fixed Points (Invited Talk)},
  booktitle    = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
                  Workshop, Warsaw, Poland, April 12-13, 2003},
  pages        = {37--41},
  publisher    = {University of Warsaw},
  year         = {2003},
  url          = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=42},
  timestamp    = {Tue, 04 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fics/Gradel03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fics/Grohe03,
  author       = {Martin Grohe},
  editor       = {Zolt{\'{a}}n {\'{E}}sik and
                  Igor Walukiewicz},
  title        = {Monadic Datalog on Trees (Invited Talk)},
  booktitle    = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
                  Workshop, Warsaw, Poland, April 12-13, 2003},
  pages        = {42--43},
  publisher    = {University of Warsaw},
  year         = {2003},
  url          = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=47},
  timestamp    = {Tue, 04 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fics/Grohe03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fics/Jurgensen03,
  author       = {Claus J{\"{u}}rgensen},
  editor       = {Zolt{\'{a}}n {\'{E}}sik and
                  Igor Walukiewicz},
  title        = {Monadic Fusion of Functional Programs},
  booktitle    = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
                  Workshop, Warsaw, Poland, April 12-13, 2003},
  pages        = {44--63},
  publisher    = {University of Warsaw},
  year         = {2003},
  url          = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=49},
  timestamp    = {Tue, 04 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fics/Jurgensen03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fics/MoggiS03,
  author       = {Eugenio Moggi and
                  Amr Sabry},
  editor       = {Zolt{\'{a}}n {\'{E}}sik and
                  Igor Walukiewicz},
  title        = {An Abstract Monadic Semantics for Value Recursion},
  booktitle    = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
                  Workshop, Warsaw, Poland, April 12-13, 2003},
  pages        = {64--79},
  publisher    = {University of Warsaw},
  year         = {2003},
  url          = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=69},
  timestamp    = {Tue, 04 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fics/MoggiS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fics/Niwinski03,
  author       = {Damian Niwinski},
  editor       = {Zolt{\'{a}}n {\'{E}}sik and
                  Igor Walukiewicz},
  title        = {Hierarchies in mu-Calculus (Invited Talk)},
  booktitle    = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
                  Workshop, Warsaw, Poland, April 12-13, 2003},
  pages        = {80},
  publisher    = {University of Warsaw},
  year         = {2003},
  url          = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=85},
  timestamp    = {Tue, 04 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fics/Niwinski03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fics/UustaluV03,
  author       = {Tarmo Uustalu and
                  Varmo Vene},
  editor       = {Zolt{\'{a}}n {\'{E}}sik and
                  Igor Walukiewicz},
  title        = {An Alternative Characterization of Complete Iterativeness (Extended
                  Abstract)},
  booktitle    = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
                  Workshop, Warsaw, Poland, April 12-13, 2003},
  pages        = {81--83},
  publisher    = {University of Warsaw},
  year         = {2003},
  url          = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=86},
  timestamp    = {Tue, 04 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fics/UustaluV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fics/2003,
  editor       = {Zolt{\'{a}}n {\'{E}}sik and
                  Igor Walukiewicz},
  title        = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
                  Workshop, Warsaw, Poland, April 12-13, 2003},
  publisher    = {University of Warsaw},
  year         = {2003},
  url          = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf},
  timestamp    = {Tue, 04 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fics/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.