Event Beta

Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Online Event, November 4, 2021.

Date: 2021
Series: Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE)
Edition: 18
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e11gd2b

Proceedings

Title	DOI	Year	Record
Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Online Event, November 4, 2021. CEUR Workshop Proceedings 3009		2021	dblp

Sources

The records of the sources that this identifier brings together (cr:sameAs).

dblp	`https://dblp.org/db/conf/kr/soqe2021`

Cite

Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Online Event, November 4, 2021.. confref identifier e11gd2b. https://id.confref.org/event/e11gd2b

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.