Publications | LUP Student Papers

1 – 3 of 3

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/student-papers/search/publication?embed=1&q=keywords+exact+%22Completeness%22&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2024
Mark An investigation into the non-constructive parts of proving completeness for first-order logic
Carlsson, Hugo Carl Samuel ^LU (2024) In Bachelor's Theses in Mathematical Sciences MATK11 20241
Mathematics (Faculty of Engineering)
Mathematics (Faculty of Sciences)
Centre for Mathematical Sciences
- Bach. Degree
Mark An Investigation into the Non-Constructive Parts of Proving Completeness for First-Order Logic
Carlsson, Hugo Carl Samuel ^LU (2024) In Bachelor's Thesis in Mathematical Sciences MATK11 20241
Mathematics (Faculty of Engineering)
Mathematics (Faculty of Sciences)
Centre for Mathematical Sciences
- Bach. Degree
2020
Mark The Composition of a Radical Symphony - An Enquiry into the Possible Relation between Collaborative Design and Idea Quality in the Front End
Boiciuc, Ancuta ^LU and Roosken, Romy ^LU (2020) ENTN39 20201
Department of Business Administration
- Master (One yr)

your query:: Remove keywords: Completeness