www.uhasselt.be
DSpace

Document Server@UHasselt >

Browsing by Author Vianu, Victor

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: In order: Results/Page Authors/Record:
Showing results 1 to 5 of 5
TitleTypeIssue Date
Finite state machines for strings over infinite alphabets
Transactions on Computational Logic, 5(3). p. 403-435
Journal Contribution2004
Topological Queries
Kuper, G. & Libkin, L. & Paredaens, J. (Ed.) Constraint Databases, p. 231-274.
Book Section2000
Towards Regular Languages over Infinite Alphabets
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE. p. 560-572
Journal Contribution2001
Typechecking XML views of relational databases
ACM Transactions on Computational Logic (TOCL), 4(3). p. 315-354
Journal Contribution2003
XML with Data Values: Typechecking Revisited
20th Symposium on Principles of Database Systems.
Proceedings Paper2001
Showing results 1 to 5 of 5