Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,219,795 papers from all fields of science
Search
Sign In
Create Free Account
Recursive language
Known as:
Undecidable
, Recursive Languages
, Decidable language
Expand
In mathematics, logic and computer science, a formal language (a set of finite sequences of symbols taken from a fixed alphabet) is called recursive…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
38 relations
Abstract family of languages
Algorithm
Blum axioms
Chomsky hierarchy
Expand
Broader (2)
Computability theory
Theory of computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
TRL Universal Recursive Pyramidal Scheme To Find Any Real Order Sequence Of Primes. (Universal Engineering Series). ISSN 1751-3030
R. Bagadi
2016
Corpus ID: 114073997
TRL Universal Recursive Pyramidal Scheme To Find Any Real Order Sequence Of Primes. (Universal Engineering Series). ISSN 1751…
Expand
Review
2008
Review
2008
Self-Assembly of Decidable Sets ( extended abstract ) ⋆
Matthew J. Patitz
,
Scott M. Summers
2008
Corpus ID: 13894557
The theme of this paper is computation in Winfree’s Abstract Tile Assembly Model (TAM). We first review a simple, well-known tile…
Expand
2006
2006
Multi-Stage RLS OFDM Adaptive Array Antenna with Short Pilot Symbols
Takeo Fujii
,
Y. Kamiya
,
Yasuo Suzuki
IEICE transactions on communications
2006
Corpus ID: 45652638
Post-FFT type orthogonal frequency division multiplexing (OFDM) adaptive array antennas can reduce the co-channel interference…
Expand
1997
1997
Defined Topological Relations in Description Logics
C. Lutz
,
Ralf Möller
Description Logics
1997
Corpus ID: 2098917
In this paper we extend the language ALC(D) by a new operator which allows one to deene roles on behalf of properties of objects…
Expand
1990
1990
Nonrecursive and recursive stack filters and their filtering behavior
Peter D. Wendt
IEEE Transactions on Acoustics Speech and Signal…
1990
Corpus ID: 28063082
It is shown that stack filters that are based on symmetric threshold functions and preserve median-filter roots make all inputs…
Expand
1988
1988
Decidability and Recursive Enumerability for Fuzzy Subsets
L. Biacino
,
Giangiacomo Gerla
International Conference on Information…
1988
Corpus ID: 1474252
1986
1986
Safety of Recursive Horn Clauses With Function Symbols
R. Ramakrishnan
,
F. Bancilhon
,
A. Silberschatz
XP7.52 Workshop on Database Theory
1986
Corpus ID: 19727884
1982
1982
Application of digital filters in the processing of eye movement data
E. Engelken
,
K. W. Stevens
,
J. W. Wolfe
1982
Corpus ID: 62759258
Digital filter techniques have been applied to the analysis of eye movement data. Methods were developed to calculate eye…
Expand
1970
1970
OPTIMUM DESIGN OF TWO-DIMENSIONAL NONRECURSIVE DIGITAL FILTERS.
M. Ekstrom
,
V. Algazi
1970
Corpus ID: 62297904
Review
1958
Review
1958
Review: R. L. Goodstein, Recursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculus
Th. Skolem
1958
Corpus ID: 115550092