skip to main content
Primo Search
Search in: Busca Geral

Two-variable Logic with a Between Relation

Krebs, Andreas ; Lodaya, Kamal ; Pandya, Paritosh ; Straubing, Howard

Proceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, 2016, p.106-115

ACM

Texto completo disponível

Ver todas as versões
Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.