Sciweavers

815 search results - page 34 / 163
» Algebraic Recognizability of Languages
Sort
View
ICALP
2000
Springer
15 years 9 months ago
Algebraic Models for Contextual Nets
Abstract. We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual t...
Roberto Bruni, Vladimiro Sassone
VLDB
1991
ACM
190views Database» more  VLDB 1991»
15 years 9 months ago
Algebraic Properties of Bag Data Types
We explore the implications of supporting bags (i.e. multisets) in a data model and associated query language, and present some formal results concerned with the algebraic propert...
Joseph Albert
DEXA
1994
Springer
92views Database» more  DEXA 1994»
15 years 10 months ago
OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...
Elsa L. Gunter, Leonid Libkin
JCSS
2002
114views more  JCSS 2002»
15 years 5 months ago
Polymorphic Type Inference for the Relational Algebra
A database programming language is a programming language extended with database operations. In this paper we extend a core functional language with explicitly labeled tuples and ...
Jan Van den Bussche, Emmanuel Waller
EACL
1993
ACL Anthology
15 years 7 months ago
Categorial grammar, modalities and algebraic semantics
This paper contributes to the theory of substructural logics .that are of interest to categorial grammarians. Combining semantic ideas of Hepple [1990] and Morrill [1990], proof-t...
Koen Versmissen