Views | |
---|---|
Variant-Based Decidable Satisfiability in Initial Algebras with Predicates | 866 |
April 2024 | May 2024 | June 2024 | July 2024 | August 2024 | September 2024 | October 2024 | |
---|---|---|---|---|---|---|---|
Variant-Based Decidable Satisfiability in Initial Algebras with Predicates | 105 | 131 | 87 | 85 | 16 | 24 | 0 |
Views | |
---|---|
Gutiérrez;Meseguer - Variant-Based Decidable Satisfiability in Initial Algebras with Predicates.pdf | 205 |
lopstr17.pdf | 1 |
Views | |
---|---|
United States | 279 |
Singapore | 221 |
China | 154 |
Netherlands | 44 |
Ireland | 34 |
Spain | 31 |
Greece | 28 |
Sweden | 17 |
Germany | 15 |
France | 14 |
Views | |
---|---|
Singapore | 221 |
College Park | 51 |
Amsterdam | 44 |
Dublin | 33 |
San Mateo | 32 |
Guangzhou | 30 |
New Kensington | 29 |
Shenzhen | 29 |
Athens | 27 |
Ashburn | 25 |