Metalogic

Results: 681



#Item
11DRAFT  CODING METALANGUAGE: ISSUES RAISED IN THE CREATION AND PROCESSING OF SPECIALISED CORPORA Antoinette Renouf, University of Birmingham, England

DRAFT CODING METALANGUAGE: ISSUES RAISED IN THE CREATION AND PROCESSING OF SPECIALISED CORPORA Antoinette Renouf, University of Birmingham, England

Add to Reading List

Source URL: rdues.bcu.ac.uk

Language: English - Date: 2009-05-21 10:50:54
12PATRES Pattern Resilience PATRES workshop (ECCS), University of Warwick SeptemberViability and resilience in the dynamics of

PATRES Pattern Resilience PATRES workshop (ECCS), University of Warwick SeptemberViability and resilience in the dynamics of

Add to Reading List

Source URL: www.patres-project.eu

Language: English - Date: 2009-11-05 13:33:21
13Model Theory of Finite Difference Fields and Simple Groups Mark Jonathan Ryten Submitted in accordance with the requirements of the degree of PhD The University of Leeds Department of Pure Mathematics

Model Theory of Finite Difference Fields and Simple Groups Mark Jonathan Ryten Submitted in accordance with the requirements of the degree of PhD The University of Leeds Department of Pure Mathematics

Add to Reading List

Source URL: www1.maths.leeds.ac.uk

Language: English - Date: 2008-06-16 11:19:27
14Singing Wires  Telephone Collectors International Newsletter

Singing Wires Telephone Collectors International Newsletter

Add to Reading List

Source URL: www.telephonecollectors.org

Language: English - Date: 2013-07-15 17:38:50
15Monotonicity and global stability in download dynamics of content-sharing networks Fernando Paganini and Andres Ferragut Universidad ORT Uruguay Abstract— This paper analyzes previously-proposed dynamic models of conte

Monotonicity and global stability in download dynamics of content-sharing networks Fernando Paganini and Andres Ferragut Universidad ORT Uruguay Abstract— This paper analyzes previously-proposed dynamic models of conte

Add to Reading List

Source URL: fi.ort.edu.uy

Language: English
16Constraint Satisfaction with Counting Quantifiers⋆ Florent Madelaine1 , Barnaby Martin2⋆⋆ and Juraj Stacho3⋆ ⋆ ⋆ 2

Constraint Satisfaction with Counting Quantifiers⋆ Florent Madelaine1 , Barnaby Martin2⋆⋆ and Juraj Stacho3⋆ ⋆ ⋆ 2

Add to Reading List

Source URL: www.bedewell.com

Language: English - Date: 2012-03-15 13:21:54
17Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University

Add to Reading List

Source URL: www.peoppenheimer.org

Language: English - Date: 2016-07-11 03:14:21
18Belief Merging without Distance Measures Pilar Pozos Parra1 and Ver´onica Borja Mac´ıas2 1 Department of Informatics and Systems University of Tabasco

Belief Merging without Distance Measures Pilar Pozos Parra1 and Ver´onica Borja Mac´ıas2 1 Department of Informatics and Systems University of Tabasco

Add to Reading List

Source URL: tmancini.di.uniroma1.it

Language: English - Date: 2008-12-16 11:07:13
19doi:j.entcs

doi:j.entcs

Add to Reading List

Source URL: ti.arc.nasa.gov

Language: English
20’Cause I’m Strong Enough: Reasoning about Consistency Choices in Distributed Systems Alexey Gotsman Hongseok Yang

’Cause I’m Strong Enough: Reasoning about Consistency Choices in Distributed Systems Alexey Gotsman Hongseok Yang

Add to Reading List

Source URL: software.imdea.org

Language: English - Date: 2015-12-20 03:07:54