LANGUAGES FROM POSITIVE DATA
Experts
- Rusins Freivalds
- Efim B. Kinber
- Sanjay Jain
- Rolf Wiehagen
- Timo Kötzing
- Thomas Zeugmann
- John Case
- Takeshi Shinohara
- Carl H. Smith
- Klaus P. Jantke
- Andris Ambainis
- Takayoshi Shoudai
- Tomoyuki Uchida
- Yusuke Suzuki
- Tetsuhiro Miyahara
- Frank Stephan
- Satoshi Matsumoto
- Manuel Blum
- Robert P. Daley
- Vanja Doskoc
- Gunter Grieser
- Steffen Lange
- Hiroki Arimura
- Mark A. Fulk
- Antonio Della Cioppa
- Pedro García
- Ernesto Tarantino
- Raphaela Palenta
- Matthew de Brecht
- Ryoji Takami
- Eiju Hirowatari
- Alessandro Passaro
- Juris Smotrovs
- K. G. Subramanian
- Daniel J. Navarro
- Daniel Reidenbach
- Shuichi Hirahara
- Henning Fernau
- Mikito Nanashima
Venues
- ALT
- Theor. Comput. Sci.
- AII
- COLT
- CoRR
- Inf. Control.
- J. Inf. Process. Cybern.
- AII/ALT
- Inf. Comput.
- ICGI
- New Gener. Comput.
- GOSLER Final Report
- MFCS
- J. Symb. Log.
- Nonmonotonic and Inductive Logic
- FCT
- Inf. Process. Lett.
- ECAI
- CogSci
- STACS
- IEICE Trans. Inf. Syst.
- Synth.
- PRICAI
- J. Comput. Syst. Sci.
- Math. Log. Q.
- IJCAI
- Mathematical Methods of Specification and Synthesis of Software Systems
- FSTTCS
- EuroCOLT
- Int. J. Found. Comput. Sci.
- IFIP Congress
- ILP
- FOCS
- SWAT
- CiE
- J. ACM
- Softw. Test. Verification Reliab.
- AAAI
- Math. Program.
Related Topics
Related Keywords
Popularity