Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dawson, Jeremy E
5348  Ergebnisse:
Personensuche X
?
1

Compound monads in specification languages:

, In: Proceedings of the 2007 workshop on Programming languages meets program verification,
Dawson, Jeremy E. - p. 3-10 , 2007
Link: https://dl.acm.org/doi/1..
 
?
2

Formalising General Correctness:

Dawson, Jeremy E.
Electronic Notes in Theoretical Computer Science.  91 (2004)  - p. 21-42 , 2004
Link: https://doi.org/10.1016/..
 
?
3

A New Machine-checked Proof of Strong Normalisation for Dis..:

Dawson, Jeremy E. ; Goré, Rajeev
Electronic Notes in Theoretical Computer Science.  78 (2003)  - p. 20-39 , 2003
Link: https://doi.org/10.1016/..
 
?
4

Embedding Display Calculi into Logical Frameworks:

Dawson, Jeremy E. ; Goré, Rajeev
Electronic Notes in Theoretical Computer Science.  42 (2001)  - p. 89-103 , 2001
Link: https://doi.org/10.1016/..
 
?
5

A Sum of Chebyshev Inequalities: 10687:

Owings, Jr., James C. ; Dawson, Jeremy E. ; Chapman, Robin J....
The American Mathematical Monthly.  107 (2000)  3 - p. 282-283 , 2000
Link: https://www.jstor.org/st..
 
?
6

A Sum of Chebyshev Inequalities: 10687:

James C. ; Dawson, Jeremy E. ; Chapman, Robin J....
The American Mathematical Monthly.  107 (2000)  3 - p. 282 , 2000
Link: https://doi.org/10.2307/..
 
?
7

Neighborly Pythagorean Triples: 10704:

Spohn, Jr., William G. ; Dawson, Jeremy E.
The American Mathematical Monthly.  107 (2000)  9 - p. 865-866 , 2000
Link: https://www.jstor.org/st..
 
?
8

Neighborly Pythagorean Triples: 10704:

William G. ; Dawson, Jeremy E.
The American Mathematical Monthly.  107 (2000)  9 - p. 865 , 2000
Link: https://doi.org/10.2307/..
 
?
9

A Reciprocal Summation Identity: 10490:

Bang, Seung-Jin ; Dawson, Jeremy E. ; A. N. 't Woord..
The American Mathematical Monthly.  106 (1999)  6 - p. 588-590 , 1999
Link: https://www.jstor.org/st..
 
?
10

A Reciprocal Summation Identity: 10490:

Bang, Seung-Jin ; Dawson, Jeremy E. ; Woord, A. N. 't..
The American Mathematical Monthly.  106 (1999)  6 - p. 588 , 1999
Link: https://doi.org/10.2307/..
 
?
11

A Graph with Threefold Symmetry: 10552:

Goffinet, Daniel ; Quercia, Michel ; Dawson, Jeremy E.
The American Mathematical Monthly.  105 (1998)  8 - p. 778 ff. , 1998
Link: https://www.jstor.org/st..
 
?
12

A Graph with Threefold Symmetry: 10552:

Goffinet, Daniel ; Quercia, Michel ; Dawson, Jeremy E.
The American Mathematical Monthly.  105 (1998)  8 - p. 778 , 1998
Link: https://doi.org/10.2307/..
 
?
13

A mechanisation of classical modal tense logics using isabe..:

, In: Advanced Topics in Artificial Intelligence; Lecture Notes in Computer Science,
Dawson, Jeremy E ; Goré, Rajeev - p. 107-118 , 1998
Link: https://doi.org/10.1007/..
 
?
14

A Complex Combinatorial Identity: 10511:

Bagchi, Bhaskar ; Misra, Gadadhar ; Darling, Donald A..
The American Mathematical Monthly.  105 (1998)  5 - p. 470-472 , 1998
Link: https://www.jstor.org/st..
 
?
15

A Complex Combinatorial Identity: 10511:

Bagchi, Bhaskar ; Misra, Gadadhar ; Darling, Donald A..
The American Mathematical Monthly.  105 (1998)  5 - p. 470 , 1998
Link: https://doi.org/10.2307/..
 
1-15