We stand with Ukraine

We stand with Ukraine

Martin Raska

Orcid: 0000-0002-4414-4538

According to our database¹, Martin Raska authored at least 5 papers between 2021 and 2023.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Binary Codes that do not Preserve Primitivity.

[BibT_eX]

[DOI]

,

,

Stepán Starosta

J. Autom. Reason., September, 2023

Binary codes that do not preserve primitivity.

[BibT_eX]

[DOI]

,

Arch. Formal Proofs, 2023

2021

Producing symmetrical facts for lists induced by the list reversal mapping in Isabelle/HOL.

[BibT_eX]

[DOI]

,

Stepán Starosta

CoRR, 2021

Combinatorics on Words Basics.

[BibT_eX]

[DOI]

,

,

Stepán Starosta

Arch. Formal Proofs, 2021

Producing Symmetrical Facts for lIsts induced by the List Reversal Mapping in Isabelle/HOL (short paper).

[BibT_eX]

[DOI]

,

Stepán Starosta

Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021

Loading...