Search Results - "Formalism"

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata

The Job Ladder Transforming Informal Work and Livelihoods in Developing Countries

Subjects: “…Formal and informal work; Global South; labour market transition; work status; wage-employees; self-employed…”
DOAB: download the publication
DOAB: description of the publication

The Job Ladder Transforming Informal Work and Livelihoods in Developing Countries

Subjects: “…Formal and informal work; Global South; labour market transition; work status; wage-employees; self-employed…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Media Education and Digital Literacy

Subjects: “…formal education…”
DOAB: download the publication
DOAB: description of the publication

Symmetry in Quantum Theory of Gravity

Subjects: “…Hamiltonian formalism…”
DOAB: download the publication
DOAB: description of the publication

Nonequilibrium Phenomena in Strongly Correlated Systems

Subjects: “…Zubarev formalism…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /

Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /

Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /

Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /

Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata

Resemblance and Representation: An Essay in the Philosophy of Pictures by Blumson, Ben

Subjects: “…Formal language…”
DOAB: download the publication
DOAB: description of the publication

Raw Life, New Hope Decency, Housing and Everyday Life in a Post-Apartheid Community by Ross, Fiona

Subjects: “…formal housing…”
DOAB: download the publication
DOAB: description of the publication

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So... by Ugo Dal Lago

Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication

Resemblance and Representation: An Essay in the Philosophy of Pictures by Blumson, Ben

Subjects: “…Formal language…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Raw Life, New Hope Decency, Housing and Everyday Life in a Post-Apartheid Community by Ross, Fiona

Subjects: “…formal housing…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /

Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata

Micro, Small, and Medium Enterprises in Vietnam

Subjects: “…formal and informal manufacturing…”
DOAB: download the publication
DOAB: description of the publication

Micro, Small, and Medium Enterprises in Vietnam

Subjects: “…formal and informal manufacturing…”
OAPEN Library: download the publication
OAPEN Library: description of the publication