Andrzej Salwicki

Available identifiers

zbMath Open salwicki.andrzejWikidataQ97370103 ScholiaQ97370103MaRDI QIDQ1013084

List of research outcomes

Publication	Date of Publication	Type
A new proof of Euclid's algorithm	2023-11-01	Paper
Some Methodological Remarks Inspired by the Paper “On inner classes” by A. Igarashi and B. Pierce	2013-04-18	Paper
Verifying a Class: combining Testing and Proving	2010-02-05	Paper
On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions	2009-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q5506350	2009-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q5506379	2009-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q5445174	2008-03-03	Paper
First-Order Specifications of Programmable Data Types	2001-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4332420	1997-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q4035226	1993-05-18	Paper
LOGLAN '88. Report on the programming language	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3030236	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3792662	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3709855	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3670530	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3939203	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3942376	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3923576	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3925868	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3883461	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3883471	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4167523	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4168060	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4125746	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4130976	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4159033	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4188700	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4117361	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4134909	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4086684	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5596237	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5596238	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5596239	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5507986	1965-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andrzej Salwicki