Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
8 results · clear filters Sort: newest oldest name
- Proceedings Seventh Workshop on Proof eXchange for Theorem Proving, PxTP 2021, Pittsburg, PA, USA, July 11, 2021.Computer and information sciencese120yw5
- International Workshop on Proof Exchange for Theorem Proving (PxTP) (PxTP)Computer and information sciencess10d5re
- Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, PxTP 2019, Natal, Brazil, August 26, 2019. (PXTP)Computer and information sciencese120xv8
- Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, PxTP 2017, Brasília, Brazil, 23-24 September 2017. (PXTP)Computer and information sciencese120wsd
- Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015. (PXTP)Computer and information sciencese120ty5
- Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013 (PXTP)Computer and information sciencese10tgr8
- Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, PxTP 2012, Manchester, UK, June 30, 2012Computer and information sciencese11phd5
- PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, Wrocław, Poland, August 1, 2011Computer and information sciencese11phc7