KNUTH BENDIX
Experts
- Aart Middeldorp
- Hans Zantema
- Paliath Narendran
- Maribel Fernández
- Jürgen Giesl
- Andrei Voronkov
- Bernhard Gramlich
- Nachum Dershowitz
- Georg Moser
- Konstantin Korovin
- Pierre Lescanne
- Deepak Kapur
- Tobias Nipkow
- Takahito Aoto
- Germán Vidal
- Frédéric Blanqui
- Salvador Lucas
- Akihisa Yamada
- Naoki Nishida
- Sándor Vágvölgyi
- Mauricio Ayala-Rincón
- Jan Willem Klop
- Jean-Pierre Jouannaud
- Cynthia Kop
- Jörg Endrullis
- Enno Ohlebusch
- René Thiemann
- Jakob Grue Simonsen
- Johannes Waldmann
- Vincent van Oostrom
- Franz Baader
- Jan-Christoph Kassing
- Christian Sternagel
- Pierre Réty
- Siva Anantharaman
- Martin Avanzini
- Michaël Rusinowitch
- Harald Ganzinger
- Jurgen J. Vinju
Venues
- CoRR
- RTA
- Theor. Comput. Sci.
- CADE
- CTRS
- Inf. Comput.
- J. Symb. Comput.
- J. Autom. Reason.
- Electron. Notes Theor. Comput. Sci.
- J. Symb. Log.
- Inf. Process. Lett.
- CSL
- Fundam. Informaticae
- FSCD
- Arch. Math. Log.
- Appl. Algebra Eng. Commun. Comput.
- MFCS
- Discret. Math.
- LPAR
- HOA
- Log. Methods Comput. Sci.
- IJCAI
- Ann. Pure Appl. Log.
- ICALP
- LICS
- Bull. EATCS
- Order
- Math. Log. Q.
- ICLP
- FSTTCS
- J. Log. Algebraic Methods Program.
- COLING
- ALP
- ACM Trans. Comput. Log.
- STACS
- Formal Aspects Comput.
- Math. Struct. Comput. Sci.
- ACM Trans. Program. Lang. Syst.
- Arch. Formal Proofs
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend