Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with reference-request
Search options answers only
not deleted
user 674
Reference-request is used when the author needs to know about work related to the question.
8
votes
Looking for papers and articles on modal substructural logics
These kind of logics are considered in linguistics: you can have a look at Michael Moortgat's article, Categorial Type Logic.
- 4,831
6
votes
Looking for papers and articles on higher-order sequent systems
Again I'm not exactly sure what you are looking for because there are potentially many "similar" systems, but for recent work that I think is very related you can read Part II ("Mixing Derivability an …
- 4,831
4
votes
Accepted
Morphisms between $\varepsilon$-NFAs
First a clarification about the universal property of the minimal automaton. The minimal automaton $M$ for a given language is not terminal among all DFAs recognizing the language, since some of those …
- 4,831
18
votes
What do we know about provably correct programs?
What you are asking about in the first question is sometimes called a "verifying compiler", and a few years ago Tony Hoare offered it as a grand challenge for computing research. To some extent this …
- 4,831
6
votes
Density of semantics in syntax
In terms of related work, Marek Zaionc and collaborators have been studying similar kinds of questions for some time. The following paper includes many results:
René David, Katarzyna Grygiel, Jakub …
- 4,831
8
votes
Implementation of surreal numbers for games
I don't have an answer to your question of whether the theory of Conway games has been used in building game-playing programs, but still you might be interested in the Combinatorial Game Suite, "an op …
- 4,831