Login / Signup
Leszek Jaworski
ORCID
Publication Activity (10 Years)
Years Active: 2013-2022
Publications (10 Years): 3
Top Topics
Selected Papers
Computational Properties
Propositional Calculus
Proof Theory
Top Venues
Log. J. IGPL
Remote. Sens.
ICL-GNSS (Work in Progress)
</>
Publications
</>
Thomas Gruber
,
Jonas Ågren
,
Detlef Angermann
,
Artu Ellmann
,
Andreas Engfeldt
,
Christoph Gisinger
,
Leszek Jaworski
,
Tomasz Kur
,
Simo Marila
,
Jolanta Nastula
,
Faramarz Nilfouroushan
,
Maaria Nordman
,
Markku Poutanen
,
Timo Saari
,
Marius Schlaak
,
Anna Swiatek
,
Sander Varbla
,
Ryszard Zdunek
Geodetic SAR for Height System Unification and Sea Level Research - Results in the Baltic Sea Test Network.
Remote. Sens.
14 (14) (2022)
Anna Swiatek
,
Leszek Jaworski
,
Paulina Wozniak
Analysis of Galileo NeQuick ionospheric model based on the station position error.
ICL-GNSS (Work in Progress)
(2021)
Thomas Gruber
,
Jonas Ågren
,
Detlef Angermann
,
Artu Ellmann
,
Andreas Engfeldt
,
Christoph Gisinger
,
Leszek Jaworski
,
Simo Marila
,
Jolanta Nastula
,
Faramarz Nilfouroushan
,
Xanthi Oikonomidou
,
Markku Poutanen
,
Timo Saari
,
Marius Schlaak
,
Anna Swiatek
,
Sander Varbla
,
Ryszard Zdunek
Geodetic SAR for Height System Unification and Sea Level Research - Observation Concept and Preliminary Results in the Baltic Sea.
Remote. Sens.
12 (22) (2020)
Leszek Jaworski
From the research on logics without tautologies (part 2).
Log. J. IGPL
21 (2) (2013)
Leszek Jaworski
From the research on logics without tautologies (part 3).
Log. J. IGPL
21 (2) (2013)
Leszek Jaworski
From the research on logics without tautologies (part 1).
Log. J. IGPL
21 (2) (2013)