Eryk Lipka

According to our database¹, Eryk Lipka authored at least 4 papers between 2019 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Algebraic Semantics for a Mixed Type Fragment of IPC.

[DOI]

Stud Logica, April, 2026

2021

A Fibonacci type sequence with Prouhet-Thue-Morse coefficients.

[DOI]

CoRR, 2021

Detecting a single fault in a deterministic finite automaton.

[DOI]

CoRR, 2021

2019

A note on minimal art galleries.

[DOI]

CoRR, 2019