Search Results for Proof theory.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Yazar

Kennedy, Juliette. editor.

https://doi.org/10.1007/978-3-662-55386-2

Format:

Electronic Resources

Alıntı:

Computation -- Model Theory. - Proof Theory -- Type Theory. Computability Theory. - Complexity Theory.

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Yazar

Ghosh, Sujata. editor.

https://doi.org/10.1007/978-3-662-54069-5

Format:

Electronic Resources

Alıntı:

the Lambda Calculus -- Semantics and Proof Theory of the Epsilon Calculus -- Neighbourhood Contingency

Web and Internet Economics 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings

Yazar

Christodoulou, George. editor.

https://doi.org/10.1007/978-3-030-04612-5

Format:

Electronic Resources

Alıntı:

-- Strategy-Proof Incentives for Predictions -- Revealed Preference Dimension via Matrix Sign Rank -- Timing Matters

Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

Yazar

Weil, Pascal. editor.

https://doi.org/10.1007/978-3-319-58747-9

Format:

Electronic Resources

Alıntı:

Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia

On Sets and Graphs Perspectives on Logic and Combinatorics

Yazar

Omodeo, Eugenio G. author.

https://doi.org/10.1007/978-3-319-54981-1

Format:

Electronic Resources

Alıntı:

Graph Theory. http://scigraph.springernature.com/things/product-market-codes/M29020

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Yazar

Galmiche, Didier. editor.

https://doi.org/10.1007/978-3-319-94205-6

Format:

Electronic Resources

Alıntı:

Proof-Search -- Deciding the First-Order Theory of an Algebra of Feature Trees with Updates -- A Separation

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}