Paul J. Voda
Publication Activity (10 Years)
Years Active: 1982-2019
Publications (10 Years): 3
Publications (10 Years): 3
Top Venues
Publications
- Ján Komara, Paul J. Voda-arithmetic. CoRR (2019)
- Paul J. Voda, Ján KomaraOn Herbrand Skeletons. CoRR (2019)
- Ján Kluka, Paul J. Voda
- Lars Kristiansen, Paul J. Voda
- Lars Kristiansen, Paul J. Voda
- Lars Kristiansen, Paul J. Voda
- Lars Kristiansen, Paul J. Voda
- Lars Kristiansen, Paul J. Voda
- Ján Komara, Paul J. Voda
- Ján Komara, Paul J. Voda
- Paul J. Voda
- Ján Komara, Paul J. Voda
- Paul J. Voda
- Paul J. VodaTypes of Trilogy. ICLP/SLP (1988)
- Paul J. Voda
- Paul J. Voda
- Paul J. Voda
- Paul J. Voda
- Paul J. Voda