[PDF] Top 20 First-order definable languages

First-order definable languages

... of first-order definable languages in a single ...that first-order definable languages can be charac- terized by very weak alternating automata using the concept of ... See full document

46

Wide Range Restructuring of Intermediate Representations in Machine Translation

... The first sub-component deals specifically with global reorganization of intermediate representations in order to bridge the stylistic gaps between source and target languages, and the s[r] ... See full document

8

First Order Reasoning for Higher Order Concurrency

... to languages with more complex types, or to languages where the retransmission of messages is observable, as in cryptographic ...because first-order contexts can make more observations than ... See full document

57

First Order Reasoning for Higher Order Concurrency

... concurrent languages let us con- sider the pairs of higher-order processes shown in Figure 1, where ⊕ is an internal choice operator and app causes the execution of a suspended ... See full document

53

PP 2007 28: A Remark on Collective Quantification

... lifting first-order quantifiers by a few ...both, first-order and second-order generalized quantifiers, and show that the type theoretic approach can be redefined in terms of ... See full document

16

PP 2002 12: Constructive Interpolation in Hybrid Logic

... and first order modal ...the first order correspondence ...the first order correspondence ...and first order hybrid languages) interpreted on any elementary ... See full document

18

A definable Henselian valuation with high quantifier complexity

... There have been several recent results concerning definitions of henselian valuation rings in the language of rings, mostly using formulae of low quantifier complexity (see [CDLM13], [Hon14], [AK14], [Feh15], [JK15], ... See full document

7

PRL RR 11 pdf

... programming languages with higher-order functions as first-class objects, data constructors, and algebraic pattern-matching for ...any order are first-class objects and computation is ... See full document

56

The First-Order Logic of Hyperproperties

... of languages so that every satisfiable HyperLTL formula is guaranteed to be satisfied by a model from this ...of languages, such as the ω-regular and ω-contextfree ...of languages that is rich enough ... See full document

14

PP 2005 14: Hybrid Definability in Topological Spaces

... is definable in some language L if there exists a sentence φ of that language such that φ is true precisely for the objects belonging to the class, ...the first-order language then the ... See full document

22

PP 2019 01: Vistas from a Drop of Water

... in first-order logic, but the crucial modal invariance of bisimulation is not definable inside the modal language (van Benthem, ten Cate & Väänänen ... See full document

13

MoL 2012 08: Expressiveness of Monadic Second Order Logics on Infinite Trees of Arbitrary Branching Degree

... A second line of research concerns the bisimulation-invariant fragment of WMSO. This investigation is motivated by the fact that all WMSO-definable tree languages are Borel [9]. If the ... See full document

81

First order limits of sparse graphs : plane trees and path width

... linear order among the children of ...linear order among the children of each node u and succ(x, y) if x and y are children of the same node that are consecutive in this linear ...linear order on the ... See full document

29

A formalisation of the theory of context-free languages in higher order logic

... context-free languages we had first hand experience of this. The first attempt at the relation for conversion from a PDA to a CFG (covered in Section ... See full document

177

Landscape of Languages - The position of provincial languages in the Roman Empire in the first three centuries AD

... Greg Woolf has mapped the Latin lapidary inscriptions in Gaul, in order to map cultural change in the provinces of Gaul. 279 If we compare the spread of Gallic inscriptions, from my database with the spread of ... See full document

90

Property Testing for Bounded Degree Databases

... query definable in monadic second-order logic with modulo counting is testable with a constant number of oracle queries and polylogarithmic running ...the first logical meta-theorem in property ... See full document

14

The European Schools: A paper presented by Albert Van Houtte of the Board of Governors of the European Schools. European Community Information Service, 2 March 1961

... From the first year, the school provided joint lessons for children of different nationalities and languages in order to bring them together and to impart to them the rudiments of a seco[r] ... See full document

7

First order convergence and roots

... There is a close connection between the first order logic and the so-called Ehrenfeucht-Fra¨ıss´e games. The p-round Ehrenfeucht-Fra¨ıss´e game is played by two players, the spoiler and the duplicator, on ... See full document

11

First order convergence of matroids

... the first order properties of G are ...a first-order convergent sequence of graphs without a limit modeling ...a first order convergent sequence of such matroids that does not ... See full document

31

First Order Twistor Lifts

... to first-order and, in some cases, isotropic to first ...these first order properties in terms of twistor lifts plays an important role on the study of the Jacobi fields and we shall ... See full document

26