Skip to main content
Kent Academic Repository

Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: B | C | F | H | K | R | S | T | X
Number of items: 11.

B

Bocchi, Laura, Chen, Tzu-Chun, Demangeon, Romain, Honda, Kohei, Yoshida, Nobuko (2017) Monitoring Networks through Multiparty Session Types. Theoretical Computer Science, 669 . pp. 33-58. ISSN 0304-3975. (doi:10.1016/j.tcs.2017.02.009) (KAR id:60279)
Format: PDF Format: PDF

C

Cheval, Vincent, Cortier, Véronique, Delaune, Stéphanie (2013) Deciding equivalence-based properties using constraint solving. Theoretical Computer Science, 492 . pp. 1-39. ISSN 0304-3975. (doi:10.1016/j.tcs.2013.04.016) (KAR id:46725)
Format: PDF

F

Férée, Hugo, Hainry, Emmanuel, Hoyrup, Mathieu, Péchoux, Romain (2015) Characterizing polynomial time complexity of stream programs using interpretations. Theoretical Computer Science, 585 . pp. 41-54. ISSN 0304-3975. (doi:10.1016/j.tcs.2015.03.008) (KAR id:64982)
Format: PDF Format: PDF

H

Howe, Jacob M., King, Andy, Simon, Axel (2019) Incremental Closure for Systems of Two Variables Per Inequality. Theoretical Computer Science, 768 . pp. 1-64. ISSN 0304-3975. (doi:10.1016/j.tcs.2018.12.001) (KAR id:70546)
Format: PDF Format: PDF

Howe, Jacob M., King, Andy (2012) A Pearl on SAT and SMT Solving in Prolog. Theoretical Computer Science, 435 . pp. 43-55. ISSN 0304-3975. (doi:10.1016/j.tcs.2012.02.024) (KAR id:30812)
Format: PDF

K

Kahrs, Stefan, Sannella, Don, Tarlecki, Andrzej (1997) The semantics of Extended ML: A gentle introduction. Theoretical Computer Science, 173 (2). pp. 445-484. ISSN 0304-3975. (KAR id:21538)
Format: Postscript Format: PDF

R

Rowe, Reuben N.S., van Bakel, S.J. (2014) Semantic Types and Approximation for Featherweight Java. Theoretical Computer Science, 517 . pp. 34-74. ISSN 0304-3975. (doi:10.1016/j.tcs.2013.08.017) (KAR id:65743)
Format: PDF

S

Stapleton, Gem, Howse, John, Rodgers, Peter (2010) A Graph Theoretic Approach to General Euler Diagram Drawing. Theoretical Computer Science, 411 (1). pp. 182-196. ISSN 0304-3975. (doi:10.1016/j.tcs.2009.09.005) (KAR id:30691)
Format: PDF

T

Thomas, Muffy, Watson, Phil (1993) Solving divergence in Knuth-Bendix completion by enriching signatures. Theoretical Computer Science, 112 . pp. 145-185. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21141)

Timmis, Jon, Hone, Andrew N.W., Stibor, Thomas, Clark, Edward (2008) Theoretical advances in artificial immune systems. Theoretical Computer Science, 403 (1). pp. 11-32. ISSN 0304-3975. (doi:10.1016/j.tcs.2008.02.011) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:15264)

X

Xavier-Junior, João C., Freitas, Alex A., Ludermir, Teresa B., Feitosa-Neto, Antonio, Barreto, Cephas A.S. (2020) An evolutionary algorithm for automated machine learning focusing on classifier ensembles: an improved algorithm and extended results. Theoretical Computer Science, 805 . pp. 1-18. ISSN 0304-3975. (doi:10.1016/j.tcs.2019.12.002) (KAR id:79330)
Format: PDF

This list was generated on Thu Mar 28 22:58:00 2024 GMT.