Filter
Chapter in a published conference proceeding

Search results

  • 2018

    Orthogonal tropical linear prevarieties

    Vorobjov, N. & Grigoriev, D., 2018, Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Proceedings. Koepf, W., Seiler, W. M., Gerdt, V. P. & Vorozhtsov, E. V. (eds.). Springer, Vol. 11077. p. 187-196 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11077 LNCS).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    2 Citations (SciVal)
  • Proof nets for bi-intuitionistic linear logic

    Bellin, G. & Heijltjes, W., 1 Jul 2018, 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018: Leibnitz International proceedings in Informatics. Kirchner, H. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 108. p. 1-17 17 p. 10. (Leibniz International Proceedings in Informations (LIPIcs)).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    3 Citations (SciVal)
    73 Downloads (Pure)
  • TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics

    Mulligan, C. B., Davenport, J. H. & England, M., 2018, Mathematical Software – ICMS 2018 - 6th International Conference, Proceedings. Davenport, J., Kauers, M., Labahn, G. & Urban, J. (eds.). Cham, Switzerland: Springer International Publishing, p. 369-378 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10931 ).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    16 Citations (SciVal)
    92 Downloads (Pure)
  • The Role of Benchmarking in Symbolic Computation: (Position Paper)

    Davenport, J., 2018, Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018. IEEE

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    1 Citation (SciVal)
    123 Downloads (Pure)
  • 2017

    A case study on the parametric occurrence of multiple steady states

    Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T. & Weber, A., 23 Jul 2017, ISSAC 2017 - Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation: Part F129312. Association for Computing Machinery, p. 45-52 8 p.

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    23 Citations (SciVal)
  • A Generalised Successive Resultants Algorithm

    Davenport, J. H., Petit, C. & Pring, B., 9 Mar 2017, (E-pub ahead of print) Arithmetic of Finite Fields - 6th International Workshop, WAIFI 2016, Revised Selected Papers. Springer Verlag, Vol. 10064 LNCS. p. 105-124 20 p. (Lectures Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10064 LNCS).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    1 Citation (SciVal)
  • On the Length of Medial-Switch-Mix Derivations

    Bruscoli, P. & Strassburger, L., Jun 2017, Logic, Language and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18–21, 2017: Proceedings. Kennedy, J. & de Queiroz, R. J. G. B. (eds.). Berlin, Germany: Springer Verlag, p. 68-79 (Lecture Notes in Computer Science; vol. 10388).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    3 Citations (SciVal)
    245 Downloads (Pure)
  • Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics

    Gowers, W. J. & Laird, J., 31 May 2017, Proceedings of 7th Conference on Algebra and Coalgebra in Computer Science. Bonchi, F. & König, B. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (LIPIcs).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    File
    1 Citation (SciVal)
    76 Downloads (Pure)
  • The potential and challenges of CAD with equational constraints for SC-square

    Davenport, J. H. & England, M., 2017, Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Proceedings. Germany: Springer Verlag, p. 280-285 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10693 ).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    2 Citations (SciVal)
  • Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases

    Huang, Z., England, M., Davenport, J. & Paulson, L., 26 Jan 2017, Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016. Davenport, J. (ed.). IEEE, p. 45-52 7829592

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    18 Citations (SciVal)
    231 Downloads (Pure)
  • 2016

    A C++ Programming Model for Heterogeneous System Architecture

    Potter, R., Bradford, R., Murray, A. & Dolinsky, U., 6 Oct 2016, High Performance Computing: ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers. Taufer, M., Mohr, B. & Kunkel, J. M. (eds.). Springer International Publishing, p. 433-450 17 p. (Lecture Notes in Computer Science; vol. 9945).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

  • Conflict nets: efficient locally canonical MALL proof nets

    Hughes, D. & Heijltjes, W., 2 Jul 2016, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016. New York, U. S. A.: Association for Computing Machinery, p. 437-446 10 p. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    9 Citations (SciVal)
    213 Downloads (Pure)
  • Fixed points in quantitative semantics

    Laird, J., 5 Jul 2016, LICS '16, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science . Shankar, N. (ed.). New York, U. S. A.: Association for Computing Machinery, p. 347-356 10 p. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    10 Citations (SciVal)
    295 Downloads (Pure)
  • Game semantics for bounded polymorphism

    Laird, J., 22 Mar 2016, Foundations of Software Science and Computation Structures. FOSSACS 2016.: Proceedings of 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2016, Eindhoven, the Netherlands, April 2-8, 2016.. Jacobs, B. & Loding, C. (eds.). The Netherlands: Springer Verlag, p. 55-70 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9634).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    1 Citation (SciVal)
    231 Downloads (Pure)
  • Gödel's functional interpretation and the concept of learning

    Powell, T., 2016, LICS ’16: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, p. 136-145

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    7 Citations (SciVal)
  • Innovative Pedagogical Practices in the Craft of Computing

    Davenport, J. H., Hayes, A., Hourizi, R. & Crick, T., Nov 2016, Proceedings of the 2016 International Conference on Learning and Teaching in Computing and Engineering (LaTICE). IEEE, p. 115-119

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    26 Citations (SciVal)
    247 Downloads (Pure)
  • SC2: Satisfiability Checking meets Symbolic Computation (Project Paper)

    Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. & Sturm, T., 12 Jul 2016, Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. Kohlhase, M., Johansson, M., Miller, B., de Moura, L. & Tompa, F. (eds.). Springer International Publishing, p. 28-43 (Lecture Notes in Artificial Intelligence; no. 9791).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    31 Citations (SciVal)
  • The complexity of cylindrical algebraic decomposition with respect to polynomial degree

    England, M. & Davenport, J. H., 9 Sept 2016, Computer Algebra in Scientific Computing: 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings. Gerdt, V. P., Koepf, W., Seiler, W. M. & Vorozhtsov, E. V. (eds.). Springer Verlag, p. 172-192 21 p. (Lecture Notes in Computer Science; vol. 9890).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    18 Citations (SciVal)
    122 Downloads (Pure)
  • Weighted relational models for mobility

    Laird, J., 1 Jun 2016, Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 52. p. 1-15 15 p. 24

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
  • 2015

    A comparison of three heuristics to choose the variable ordering for CAD

    Huang, Z., England, M., Wilson, D., Davenport, J. H. & Paulson, L. C., Feb 2015, ACM Communications in Computer Algebra. Zima, E., Caboara, M., Dumas, J.-G., Gonzalez-Vega, L., Wester, M. & Zhi, L. (eds.). 3-4 ed. New York, U. S. A.: Association for Computing Machinery, Vol. 48. p. 121-123 3 p.

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    1 Citation (SciVal)
    147 Downloads (Pure)
  • Complexity bounds for sum-product logic via additive proof nets and Petri nets

    Heijltjes, W. & Hughes, D., 10 Jul 2015, Proceedings of the 30th ACM/IEEE Symposium on Logic in Computer Science (LICS), 2015. IEEE, p. 80-91 12 p. (2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    File
    5 Citations (SciVal)
    212 Downloads (Pure)
  • Kernel composition in SYCL

    Potter, R., Keir, P., Bradford, R. J. & Murray, A., 12 May 2015, Proceedings of the 3rd International Workshop on OpenCL (IWOCL), 2015. New York, U. S. A.: Association for Computing Machinery, a11

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    11 Citations (SciVal)
  • On the computational content of termination proofs

    Moser, G. & Powell, T., 2015, Evolving Computability: 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings. p. 276-285 (Lecture Notes in Computer Science; vol. 9136).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    2 Citations (SciVal)
  • 2014

    Attribute-based signatures with user-controlled linkability

    El Kaafarani, A., Chen, L., Ghadafi, E. & Davenport, J., 2014, Cryptology and Network Security (CANS) 2014: The 13th International Conference on Cryptology and Network Security (CANS 2014) 22-24 October 2014, Heraklion, Crete, Greece. Gritzalis, D., Kiayias, A. & Askoxylakis, I. (eds.). Springer, p. 256-269 14 p. (Lecture Notes in Computer Science ; vol. 8813).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    File
    15 Citations (SciVal)
    264 Downloads (Pure)
  • Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition

    England, M., Bradford, R. J., Davenport, J. H. & Wilson, D., 2014, Mathematical Software – ICMS 2014: 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings. Springer, Vol. 8592. p. 450-457 8 p.

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    16 Citations (SciVal)
    179 Downloads (Pure)
  • Mathematical Massive Open Online Courses (MOOCs): report of a panel at the 2014 ICM

    Davenport, J., 2014, Proceedings of the International Congress of Mathematicians (ICM), 2014. Jang, S. Y., Kim, Y. R., Lee, D.-W. & Yie, I. (eds.). p. 743-754

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

  • No proof nets for MLL with units: Proof equivalence in MLL is PSPACE-complete

    Heijltjes, W. & Houston, R., 2014, Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014. New York : Association for Computing Machinery, 10 p. 50

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    22 Citations (SciVal)
    225 Downloads (Pure)
  • Streaming Spectral Processing with Consumer-level Graphic Processing Units

    Lazzarini, V., Timoney, J., ffitch, J. P. & Bradford, R., 1 Sept 2014, Proceedingb of DAFx14. 8 p.

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    2 Citations (SciVal)
  • Using the distribution of cells by dimension in a cylindrical algebraic decomposition

    Wilson, D., England, M., Bradford, R. J. & Davenport, J. H., 2014, Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2014 16th International Symposium on. IEEE, p. 53-60 8 p.

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    13 Citations (SciVal)
    247 Downloads (Pure)
  • Using the regular chains library to build cylindrical algebraic decompositions by projecting and lifting

    England, M., Wilson, D., Bradford, R. & Davenport, J. H., 2014, Mathematical Software – ICMS 2014: 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings. Hong, H. & Yap, C. (eds.). Springer, p. 458-465 8 p. (Lecture Notes in Computer Science; vol. 8592).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    20 Citations (SciVal)
    178 Downloads (Pure)
  • 2013

    A "piano movers" problem reformulated

    Wilson, D., Davenport, J. H., England, M. & Bradford, R. J., 2013, Proceedings of SYNASC 2013: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, p. 53-60 8 p.

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    18 Citations (SciVal)
    213 Downloads (Pure)
  • A proof of strong normalisation of the typed atomic lambda-calculus

    Gundersen, T., Heijltjes, W. & Parigot, M., 1 Jan 2013, Logic for Programming, Artificial Intelligence, and Reasoning (LPAR): Proceedings of the 19th International Conference, LPAR, Stellenbosch, South Africa, December 14-19, 2013. Heidelberg, Germany: Springer, p. 340-354 15 p. (Lecture Notes in Computer Science; vol. 8312).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    4 Citations (SciVal)
    75 Downloads (Pure)
  • Atomic lambda-calculus: A typed lambda-calculus with explicit sharing

    Gundersen, T., Heijltjes, W. & Parigot, M., 1 Aug 2013, Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science: LICS'13. IEEE, p. 311-320 10 p. (ACM/IEEE Symposium on Logic in Computer Science).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    17 Citations (SciVal)
    359 Downloads (Pure)
  • Cylindrical algebraic decompositions for Boolean combinations

    Bradford, R., Davenport, J. H., England, M., McCallum, S. & Wilson, D., 2013, ISSAC '13: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation. New York: Association for Computing Machinery, p. 125-132

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    21 Citations (SciVal)
    181 Downloads (Pure)
  • Optimising problem formulation for cylindrical algebraic decomposition

    Bradford, R., Davenport, J. H., England, M. & Wilson, D., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Berlin: Springer, p. 19-34 15 p. (Lecture Notes in Computer Science; vol. 7961).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    38 Citations (SciVal)
    190 Downloads (Pure)
  • The changing relevance of the TLB

    Jones, J., Davenport, J. & Bradford, R., Sept 2013, 2013 12th International Symposium on Distributed Computing and Applications to Business, Engineering & Science (DCABES). Piscataway, NJ: IEEE, p. 110-114 6 p.

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    File
    236 Downloads (Pure)
  • Understanding branch cuts of expressions

    England, M., Bradford, R., Davenport, J. H. & Wilson, D., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Berlin: Springer, p. 136-151 16 p. (Lecture Notes in Computer Science; vol. 7961).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    12 Citations (SciVal)
    654 Downloads (Pure)
  • Weighted relational models of typed Lambda-Calculi

    Laird, J. D., Manzonetto, G., Mccusker, G. & Pagani, M., 1 Jun 2013, 2013 28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS). Los Alamitos, California: IEEE, p. 301-310 10 p. (Annual IEEE/ACM Symposium on Logic in Computer Science (LICS)).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    63 Citations (SciVal)
    373 Downloads (Pure)
  • 2012

    Applying Gödel's Dialectica interpretation to obtain a constructive proof of Higman's lemma

    Powell, T., 2012, Proceedings Fourth Workshop on Classical Logic and Computation. Vol. 97. p. 49-62 (Electronic Proceedings in Theoretical Computer Science).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

  • Program Verification in the presence of complex numbers, functions with branch cuts etc

    Davenport, J., Bradford, R., England, M. & Wilson, D., 2012, Proceedings of SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Piscataway: IEEE, p. 83-88 6 p.

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    26 Citations (SciVal)
    212 Downloads (Pure)
  • Reachability in one-dimensional controlled polynomial dynamical systems

    Korovina, M. & Vorobjov, N., 2012, Perspectives of systems informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Clarke, E., Virbitskaite, I. & Voronkov, A. (eds.). Berlin: Springer, p. 251-261 11 p. (Lecture Notes in Computer Science; vol. 7162).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

  • Speeding up cylindrical algebraic decomposition by Gröebner Bases

    Wilson, D. J., Bradford, R. J. & Davenport, J. H., 2012, Intelligent Computer Mathematics. Jeuring, J., Campbell, J. A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M. & Sorge, V. (eds.). Heidelberg, Vol. 7362. p. 280-294 15 p. (Lecture Notes in Computer Science; vol. 7362).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    13 Citations (SciVal)
    160 Downloads (Pure)
  • 2011

    Computing with semi-algebraic sets represented by triangular decomposition

    Chen, C., Davenport, J. H., Moreno Maza, M., Xia, B. & Xiao, R., 2011, ISSAC '11 Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation. New York: Association for Computing Machinery, p. 75-82 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    13 Citations (SciVal)
    252 Downloads (Pure)
  • Imperative programs as proofs via game semantics

    Churchill, M., Laird, J. & McCusker, G., 2011, 26th Annual IEEE Symposium on Logic in Computer Science (LICS) 2011. IEEE, p. 65-74 10 p. (Annual Symposium on Logic in Computer Science).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    File
    4 Citations (SciVal)
    247 Downloads (Pure)
  • Proof nets for additive linear logic with units

    Heijltjes, W., Jun 2011, 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS). IEEE, p. 207-216

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    7 Citations (SciVal)
    260 Downloads (Pure)
  • System T and the product of selection functions

    Escardó, M., Oliva, P. & Powell, T., 2011, Computer Science Logic 2011 - 25th International Workshop/20th Annual Conference of the EACSL, CSL 2011. p. 233-247 15 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 12).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    10 Citations (SciVal)
  • 2010

    A quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae

    Bruscoli, P., Guglielmi, A., Gundersen, T. & Parigot, M., 2010, Logic for programming, artificial intelligence, and reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, revised selected papers. Clarke, E. M. & Voronkov, A. (eds.). Berlin: Springer, p. 136-153 18 p. (Lecture Notes in Computer Science; vol. 6355).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    11 Citations (SciVal)
    157 Downloads (Pure)
  • Breaking paths in atomic flows for classical logic

    Guglielmi, A., Gundersen, T. & Straburger, L., Jul 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science, LICS . IEEE, p. 284-293 10 p. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    16 Citations (SciVal)
    238 Downloads (Pure)
  • Game semantics for a polymorphic programming language

    Laird, J., 2010, 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010. IEEE, p. 41-49 9 p. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    7 Citations (SciVal)
  • Triangular decomposition of semi-algebraic systems

    Chen, C., Davenport, J. H., May, J. P., Maza, M. M., Xia, B. & Xiao, R., 2010, ISSAC '10 Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation , 2010. New York, U. S. A.: Association for Computing Machinery, p. 187-194 8 p.

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    24 Citations (SciVal)