Sciweavers

815 search results - page 34 / 163
» Algebraic Recognizability of Languages
Sort
View
ICALP
2000
Springer
15 years 3 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 3 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 3 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»
14 years 11 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 1 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