Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Subject
Issue Date
Material Type
Language
Access Rights
Help
OAR@UM Help
FAQs
OAR@UM Policies
Submission Forms
Sign on to:
My OAR@UM
OAR@UM
Browsing by Subject Algebra, Boolean
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
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
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 6 of 6
Issue Date
Title
Author(s)
1970
Analysis and design of transistor resistor logic (TRL) circuit for digital computers
Galea Zammit, D. (1970)
2022
DFA learning using SAT solvers
Formosa, Logan (2022)
2024
Lab-on-a-molecule and multi-analyte sensing
Magri, David C.
2021
Mechanising symbolic controllability
Xuereb, Jasmine (2021)
2020
On implementing symbolic controllability
Francalanza, Adrian
;
Xuereb, Jasmine
2007-03
Quasi-splitting subspaces in a pre-Hilbert space
Buhagiar, David
;
Chetcuti, Emanuel
