DUGi: Browse by Title | dc.subject:"Logic, Symbolic and mathematical" | 25 - 34

Browse by Title

34 items found

Showing titles from 25 to 34:

1 2

Format	Date	Title	Author
Format	Date	Title	Author
		SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format	Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
		SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format	Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
	2013	A Variant of Higher-Order Anti-Unification	Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
		A Variant of Higher-Order Anti-Unification	Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
		A Variant of Higher-Order Anti-Unification	Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
	2018 June 1	A Variant of Higher-Order Anti-Unification
	2018 June 5	A Variant of Higher-Order Anti-Unification	Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
		A Write-Based Solver for SAT Modulo the Theory of Arrays	Bofill Arasa, Miquel ; Nieuwenhuis, Robert ; Oliveras Llunell, Albert ; Rodríguez Carbonell, Enric ; Rubio, Albert
	2008	A Write-Based Solver for SAT Modulo the Theory of Arrays	Bofill Arasa, Miquel ; Nieuwenhuis, Robert ; Oliveras Llunell, Albert ; Rodríguez Carbonell, Enric ; Rubio, Albert

1 2

Subjects

Pisani, Nicolás -- Correspondence; Pisani, Nicolás -- Epistolaris; Petició; Lògica matemàtica; Request; Logic, Symbolic and mathematical Education, Preschool Lògica matemàtica -- Ensenyament assistit per ordinador Matemàtica Lògica matemàtica -- Ensenyament Lògica difusa -- Congressos Automatic theorem proving

Authors

Kutsia, Temur Baumgartner, Alexander Rubio, Albert Torm Bossa, Gemma Calbó, Muntsa Esteva Massaguer, Francesc Universitat de Girona. Facultat d’Educació i Psicologia