Concepedia

Simon Halfon

SH

2

Publications

58

Citations

2

H-Index

2017

Active since

Affiliations

Laboratoire Spécification et Vérification(Current)

Centre National de la Recherche Scientifique

Simon Halfon is an author at Laboratoire Spécification et Vérification specializing in automated reasoning, language studies, and formal methods.

Top concepts

SyntaxGrammarLanguageSemanticsEngineeringLinguisticsFormal MethodsComputer ScienceAutomated ReasoningMathematical Foundations

Publications per year

2017–2017

2

Publications

2

Decidability, complexity, and expressiveness of first-order logic over the subword ordering

Simon Halfon, Philippe Schnoebelen, Georg Zetzsche · 2017 · 33 citations

Engineering, Well-founded Semantics, Higher-order Logic +16

Decidability, complexity, and expressiveness of first-order logic over the subword ordering

Simon Halfon, Philippe Schnoebelen, Georg Zetzsche · Logic in Computer Science · 2017 · 25 citations

Engineering, Classical Logic, Well-founded Semantics +17

Rows per page

1–2 of 2