FIXED POINT SEMANTICS
Experts
- Makoto Tatsuta
- Annalisa Bossi
- Giorgio Levi
- Luís Moniz Pereira
- Miika Hannula
- Panos Rondogiannis
- Ioanna Symeonidou
- Hai Zhou
- Stefano Berardi
- Shuyu Kong
- José Júlio Alferes
- Radu Iosif
- Amin Rezaei
- Nicola Leone
- You Li
- Maria Chiara Meo
- Antonio Brogi
- Michael Hanus
- Sabina Rossi
- Sandro Etalle
- Yuanqi Shen
- Jingde Cheng
- Maurizio Gabbrielli
- José Meseguer
- Makoto Hamana
- Grigore Rosu
- Yung-Chih Chen
- Zhilin Wu
- Mauricio Osorio
- Roberto Giacobazzi
- Jonni Virtema
- Shaw-Hwa Lo
- Jaime Sánchez-Hernández
- Minna Hirvonen
- Pei-Pei Chen
- David J. Pym
- Nicolas Peltier
- Débora C. Muchaluat-Saade
- Arne Meier
Venues
- CoRR
- ICLP
- Theor. Comput. Sci.
- Electron. Notes Theor. Comput. Sci.
- J. Philos. Log.
- LICS
- ESOP
- J. Log. Program.
- Stud Logica
- Notre Dame J. Formal Log.
- J. Log. Comput.
- JSAI-isAI Workshops
- J. Log. Lang. Inf.
- MFPS
- Synth.
- ACM SIGPLAN Notices
- Ann. Pure Appl. Log.
- PPDP
- ICALP
- JELIA
- WoLLIC
- FGCS
- FICS
- Inf. Process. Lett.
- APLAS
- Acta Informatica
- Description Logics
- IJCAI
- Advances in Modal Logic
- Math. Struct. Comput. Sci.
- LPNMR
- Comput. Lang.
- Sci. Comput. Program.
- Reports Math. Log.
- ICCAD
- IACR Cryptol. ePrint Arch.
- Math. Log. Q.
- Log. Methods Comput. Sci.
- FLAP
Related Topics
Related Keywords
Popularity