E-LIB Suche - Ergebnisse für: Prunescu, Mihai

1

An arithmetic term for the factorial function:

Prunescu, Mihai ; Sauras-Altuzarra, Lorenzo
Examples and Counterexamples. 5 (2024) - p. 100136 , 2024

Link: https://doi.org/10.1016/..

2

Smooth approximations by continuous choice-functions:

Prunescu, Mihai
Soft Computing. 25 (2021) 21 - p. 13277-13286 , 2021

Link: https://doi.org/10.1007/..

3

On Representations of Intended Structures in Foundational T..:

Barton, Neil ; Müller, Moritz ; Prunescu, Mihai
Journal of Philosophical Logic. 51 (2021) 2 - p. 283-296 , 2021

Link: https://doi.org/10.1007/..

4

Secure Multiparty Computation in arbitrary rings:

, In: 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),

Prunescu, Mihai - p. 283-290 , 2021

Link: https://doi.org/10.1109/..

5

THE EXPONENTIAL DIOPHANTINE PROBLEM FOR:

PRUNESCU, MIHAI
The Journal of Symbolic Logic. 85 (2020) 2 - p. 671-672 , 2020

Link: https://doi.org/10.1017/..

6

A growth model based on the arithmetic Z-game:

Cobeli, Cristian ; Prunescu, Mihai ; Zaharescu, Alexandru
Chaos, Solitons & Fractals. 91 (2016) - p. 136-147 , 2016

Link: https://doi.org/10.1016/..

7

A two-valued recurrent double sequence that is not automati:

Prunescu, Mihai
Theoretical Computer Science. 528 (2014) - p. 32-39 , 2014

Link: https://doi.org/10.1016/..

8

Fp-affine recurrent n-dimensional sequences over Fq are p-a..:

Prunescu, Mihai
European Journal of Combinatorics. 34 (2013) 2 - p. 260-284 , 2013

Link: https://doi.org/10.1016/..

9

Linear Recurrent Double Sequences with Constant Border in M..:

Prunescu, Mihai
Symmetry. 3 (2011) 3 - p. 402-442 , 2011

Link: https://doi.org/10.3390/..

10

The Thue–Morse–Pascal double sequence and similar structure:

Prunescu, Mihai
Comptes Rendus Mathematique. 349 (2011) 17-18 - p. 939-942 , 2011

Link: https://doi.org/10.1016/..

11

Self-similar carpets over finite fields:

Prunescu, Mihai
European Journal of Combinatorics. 30 (2009) 4 - p. 866-878 , 2009

Link: https://doi.org/10.1016/..

12

Undecidable and decidable restrictions of Hilbert's Tenth P..:

Prunescu, Mihai
MLQ. 52 (2006) 1 - p. 14-19 , 2006

Link: https://doi.org/10.1002/..

13

Structure with Fast Elimination of Quantifiers:

Prunescu, Mihai
The Journal of Symbolic Logic. 71 (2006) 1 - p. 321-328 , 2006

Link: https://www.jstor.org/st..

14

Two situations with unit-cost: ordered abelian semi-groups ..:

Prunescu, Mihai
Journal of Complexity. 21 (2005) 4 - p. 579-592 , 2005

Link: https://doi.org/10.1016/..

15

Structures that eliminate quantifier blocks in polynomial t..

[Preprint-Reihe Mathematik / Institut für Mathematik und Informatik, Ernst-Moritz-Arndt-Universität Greifswald] ; [2003,18]

Prunescu, Mihai , 2003

Link: http://edok01.tib.uni-ha..