Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Programming and computer software, 2022-12, Vol.48 (8), p.566-582
2022
Volltextzugriff (PDF)


Open Access
A Counting Logic for Trees
Computación y Sistemas, 2015-06, Vol.19 (2), p.407-422
2015
Volltextzugriff (PDF)




Open Access
Global Numerical Constraints on Trees
Logical methods in computer science, 2014-06, Vol.10, Issue 2
2014
Volltextzugriff (PDF)


Open Access
Presburger Constraints in Trees
Computación y Sistemas, 2020-01, Vol.24 (1), p.281-303
2020
Volltextzugriff (PDF)

Open Access
Depth-First Reasoning on Trees
Computación y Sistemas, 2018-01, Vol.22 (1), p.189-201
2018
Volltextzugriff (PDF)

Computación y Sistemas, 2017-01, Vol.21 (3), p.407-418
2017
Volltextzugriff (PDF)

Computación y Sistemas, 2016-01, Vol.20 (1), p.67-79
2016
Volltextzugriff (PDF)

Trudy Instituta sistemnogo programmirovaniâ, 2023, Vol.35 (1), p.113-122
2023
Volltextzugriff (PDF)



On the Paraconsistent Logic CG′3
Computación y Sistemas, 2021-05, Vol.25 (2)
2021
Volltextzugriff (PDF)


Presburger Constraints in Trees
Computación y Sistemas, 2020-03, Vol.24 (1)
2020
Volltextzugriff (PDF)

International journal of advanced computer science & applications, 2020, Vol.11 (6)
2020
Volltextzugriff (PDF)

Electronic notes in theoretical computer science, 2016-12, Vol.328, p.3-16
2016
Volltextzugriff (PDF)



Computación y Sistemas, 2021-12, Vol.25 (4)
2021
Volltextzugriff (PDF)

2017 International Conference on Electronics, Communications and Computers (CONIELECOMP), 2017, p.1-7
2017
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n