FIXED POINT SEMANTICS
Experts
- Makoto Tatsuta
- Giorgio Levi
- Annalisa Bossi
- Panos Rondogiannis
- Miika Hannula
- Luís Moniz Pereira
- Ioanna Symeonidou
- Shuyu Kong
- Hai Zhou
- Stefano Berardi
- José Júlio Alferes
- Michael Hanus
- Antonio Brogi
- Maria Chiara Meo
- Sabina Rossi
- Yuanqi Shen
- Amin Rezaei
- You Li
- Nicola Leone
- Radu Iosif
- Sandro Etalle
- Grigore Rosu
- Maurizio Gabbrielli
- Zhilin Wu
- Jonni Virtema
- Mauricio Osorio
- Yung-Chih Chen
- José Meseguer
- Makoto Hamana
- Jingde Cheng
- Roberto Giacobazzi
- David A. Naumann
- Martha Lewis
- Andrew K. Hirsch
- Ying Gao
- Hongseok Yang
- Carita Paradis
- Jan-Georg Smaus
- Joel André Ferreira dos Santos
Venues
- CoRR
- Electron. Notes Theor. Comput. Sci.
- ICLP
- J. Philos. Log.
- Theor. Comput. Sci.
- LICS
- Notre Dame J. Formal Log.
- J. Log. Program.
- ESOP
- Stud Logica
- J. Log. Comput.
- J. Log. Lang. Inf.
- JSAI-isAI Workshops
- MFPS
- ICALP
- JELIA
- Ann. Pure Appl. Log.
- PPDP
- Synth.
- ACM SIGPLAN Notices
- FGCS
- LPNMR
- Description Logics
- Inf. Process. Lett.
- Comput. Lang.
- Acta Informatica
- Math. Log. Q.
- Sci. Comput. Program.
- FICS
- WoLLIC
- IJCAI
- IACR Cryptol. ePrint Arch.
- ICCAD
- APLAS
- Math. Struct. Comput. Sci.
- Reports Math. Log.
- Advances in Modal Logic
- JSAI Workshops
- IJCAR
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend