Regular tree languages, cardinality predicates, and addition-invariant FO [PDF]
, 2011 This paper considers the logic FOcard, i.e., first-order logic with cardinality predicates that can specify the size of a structure modulo some number.
Harwath, Frederik, Schweikardt, Nicole
core +3 more sources
Lymphangiectasia Mimicking Lichenoid Contact Reaction [PDF]
Journal of Clinical and Diagnostic Research, 2023 Lymphangiectasia, otherwise known as acquired lymphangioma, is unusual to occur in the oral cavity. Among the frequently recognised forms of congenital and acquired entities, the acquired form of the lymphangiectasia may be caused due to trauma or ...
Vaishnavi Muthukumaran +4 more
doaj +1 more source
Uniformity in association schemes and coherent configurations: cometric Q-antipodal schemes and linked systems [PDF]
, 2013 Inspired by some intriguing examples, we study uniform association schemes and uniform coherent configurations, including cometric Q-antipodal association schemes. After a review of imprimitivity, we show that an imprimitive association scheme is uniform
Abdukhalikov +61 more
core +2 more sources
A counterexample to Thiagarajan's conjecture on regular event structures [PDF]
, 2017 We provide a counterexample to a conjecture by Thiagarajan (1996 and 2002) that regular event structures correspond exactly to event structures obtained as unfoldings of finite 1-safe Petri nets.
Chalopin, Jérémie, Chepoi, Victor
core +4 more sources
Ovoids of generalized quadrangles of order and Delsarte cocliques in related strongly regular graphs [PDF]
Journal of Combinatorial Designs, 2017 AbstractWe investigate strongly regular graphs for which Hoffman's ratio bound and Cvetcović's inertia bound are equal. This means that, wherevis the number of vertices,kis the regularity,is the smallest eigenvalue, andis the multiplicity of. We show that Delsarte cocliques do not exist for all Taylor's 2‐graphs and for point graphs of generalized ...
Mohammad Adm +6 more
openaire +4 more sources
Ratio Mathematica, 2017 Fundamental structures are the main tools in the study of hyperstructures. Fundamental equivalence relations link hyperstructure theory to the theory of corresponding classical structures. They also introduce new hyperstructure classes.The present paper
Nikolaos Antampoufis, Sarka Mayerova
doaj +1 more source
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract) [PDF]
, 2010 The languages accepted by finite automata are precisely the languages denoted by regular expressions. In contrast, finite automata may exhibit behaviours that cannot be described by regular expressions up to bisimilarity.
Bas Luttik +19 more
core +7 more sources
Time-like Weingarten surfaces with real principal curvatures in the three-dimensional Minkowski space and their natural partial differential equations [PDF]
, 2012 We study time-like surfaces in the three-dimensional Minkowski space with diagonalizable second fundamental form. On any time-like W-surface we introduce locally natural principal parameters and prove that such a surface is determined uniquely (up to ...
Ganchev, Georgi, Mihova, Vesselka
core +1 more source
Automorphism groups of countable algebraically closed graphs and endomorphisms of the random graph [PDF]
, 2015 We establish links between countable algebraically closed graphs and the endomorphisms of the countable universal graph $R$. As a consequence we show that, for any countable graph $\Gamma$, there are uncountably many maximal subgroups of the endomorphism
Clifford +10 more
core +2 more sources
On the nature and origin of consumer vulnerability [PDF]
Anali Pravnog Fakulteta u Beogradu, 2020 A consumer that is on a regular basis reasonably well-informed, and reasonably observant and circumspect may be affected by vulnerability in a particular situation. The author strongly believes that in the area of consumer protection, the abstract notion
Tešić Nenad
doaj +1 more source