COMPLETE AXIOMATIZATION
Experts
- Luca Aceto
- Joseph Y. Halpern
- Miika Hannula
- Radu Mardare
- Philippe Balbiani
- Anna IngĂłlfsdĂłttir
- Wan J. Fokkink
- Gopalan Nadathur
- Pavel Naumov
- Riccardo Pucella
- LluĂs Godo
- AmĂlcar Sernadas
- Kim G. Larsen
- Taolue Chen
- Qianying Zhang
- Dale Miller
- Boleslaw Sobocinski
- John-Jules Ch. Meyer
- Yong Guan
- Guohui Wang
- Juha Kontinen
- Rob J. van Glabbeek
- Bas Luttik
- Paulo Mateus
- Andrew Gacek
- Qian Chen
- Brittany Nicholls
- Churn-Jung Liau
- Ximeng Li
- Muli Safra
- Frederik Van De Putte
- Atwell R. Turquette
- Alberto Zanardo
- Kaustuv Chaudhuri
- Alex Mizrahi
- Dazhu Li
- Dor Minzer
- Jeffrey D. Ullman
- Yongmei Liu
Venues
- CoRR
- Notre Dame J. Formal Log.
- Am. Math. Mon.
- Stud Logica
- J. Symb. Log.
- Theor. Comput. Sci.
- J. Log. Comput.
- Discret. Math.
- J. Philos. Log.
- Inf. Process. Lett.
- IACR Cryptol. ePrint Arch.
- Fundam. Informaticae
- J. Appl. Non Class. Logics
- Math. Log. Q.
- Inf. Comput.
- LICS
- Ann. Pure Appl. Log.
- Electron. Notes Theor. Comput. Sci.
- Arch. Math. Log.
- Proc. ACM Program. Lang.
- Rev. Symb. Log.
- IEEE Trans. Inf. Theory
- TLCA
- Eur. J. Comb.
- ITP
- STOC
- IJCAI
- Log. Methods Comput. Sci.
- Math. Struct. Comput. Sci.
- Electron. J. Comb.
- Int. J. Approx. Reason.
- Soc. Choice Welf.
- J. Funct. Program.
- Electron. Colloquium Comput. Complex.
- ICALP
- J. Comb. Theory, Ser. A
- CAV (1)
- J. Comb. Theory, Ser. B
- RTA
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend