DSpace Repository
Search
català
español
English
Home
→
Recerca
→
Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search
Filters
Use filters to refine the search results.
Current Filters:
Author
Center
Subject
Date issued
Content type
Language
Contains
Equals
ID
Not Contains
Not Equals
Not ID
New Filters:
Author
Center
Subject
Date issued
Content type
Language
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Showing 4 out of a total of 4 results for community: Recerca.
(0.235 seconds)
Now showing items 1-4 of 4
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Complete Monotonic Semantic Path Orderings
Borralleras Andreu, Cristina
;
Ferreira, Maria
;
Rubio, Albert
(
Springer
,
2000
)
Monotonic AC-Compatible Semantic Path Orderings
Borralleras Andreu, Cristina
;
Rubio, Albert
(
Springer
,
2003
)
SAT Modulo Linear Arithmetic for Solving Polynomial
Borralleras Andreu, Cristina
;
Lucas, Salvador
;
Oliveras, Albert
;
Rodríguez-Carbonell, Enric
;
Rubio, Albert
(
2012-10-04
)
The recursive path and polynomial ordering for first-order and higher-order terms
Bofill, Miquel
;
Borralleras Andreu, Cristina
;
Rodríguez-Carbonell, Enric
;
Rubio, Albert
(
Oxford University Press
,
2012-06
)
Now showing items 1-4 of 4
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Community
By Issue Date
Authors
Titles
Subjects
Filter by
Author
Borralleras Andreu, Cristina (4)
Rubio, Albert (4)
Rodríguez-Carbonell, Enric (2)
... View More
Contributor
Universitat de Vic. Escola Politècnica Superior (4)
Universitat de Vic. Grup de Recerca en Tecnologies Digitals (4)
Subject
Aritmètica (1)
Informàtica (1)
Lògica matemàtica -- Congressos (1)
... View More
Date Issued
2010 - 2012 (2)
2000 - 2009 (2)
Content Type
Article (2)
Book part (2)
Language
eng (4)