Skip to main content
Home
Highlights
Events
Hosted Events
Job & Study Opportunities
Press
Contacts
Research
Publications
Projects
People
Resources
Dataset
Software
Blog
Search form
Search
Publications
You are here
Home
»
Research
Export 5 results:
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Author
[
Title
]
Type
Year
Filters:
Author
is
Wojciechowski, Piotr
[Clear All Filters]
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
Q
P. Eirinakis
,
Ruggieri, S.
,
Subramani, K.
, and
Wojciechowski, P.
,
“
On quantified linear implications
”
,
Annals of Mathematics and Artificial Intelligence
, vol. 71, pp. 301–325, 2014.
DOI
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
C
S. Ruggieri
,
Eirinakis, P.
,
Subramani, K.
, and
Wojciechowski, P.
,
“
On the complexity of quantified linear systems
”
,
Theoretical Computer Science
, vol. 518, pp. 128–134, 2014.
DOI
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Copyright © 2014 - KDD Lab