Skip navigation
tequery
Home
Browse by
Communities
& Collections
Browse items by:
Title
Author
UMinho authors
Advisors
Editors
Subject
Scientific areas
Issue date
Document types
Access types
Publishers
Journals
Helps
About RepositóriUM
FAQs
General use
Self-Archive
Copyright
English
French
Spanish
Portuguese
Sign on to
My DSpace
Statistics subscription
Receive email
updates
Edit Profile
Browsing by subject Rewriting
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
issue date
submit date
document type
access type
In order:
ascending
descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
3
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 2 of 2.
Issue Date
Title
Author(s)
Type
Access
2013
Towards a mostly-automated prover for bit-vector arithmetic
Abal, Iago
;
Pinto, Jorge Sousa
Conference paper
Restricted access (UMinho)
2012
Women of stone and ice in A. S. byatt's tales of the unreal
Pereira, Margarida Esteves
Article
Open access
