default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Symbolic Computation, Volume 90

> Home > Journals > Journal of Symbolic Computation

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 90, January 2019

Symbolic Computation in Software Science

- view
  authority control:
- export record
  dblp key:
  - journals/jsc/DavenportK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/DavenportK19
James Harold Davenport, Temur Kutsia:
Symbolic computation in software science. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/DramnescJS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/DramnescJS19
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat:
Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques. 3-41
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/Schmidt-Schauss19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Schmidt-Schauss19
Manfred Schmidt-Schauß, David Sabel, Yunus D. K. Kutz:
Nominal unification with atom-variables. 42-64
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/RashidH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/RashidH19
Adnan Rashid, Osman Hasan:
Formal analysis of continuous-time systems using Fourier transform. 65-88
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/GauthierK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/GauthierK19
Thibault Gauthier, Cezary Kaliszyk:
Aligning concepts across proof assistant libraries. 89-123
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/SchreckM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/SchreckM19
Pascal Schreck, Pascal Mathis:
Using jointly geometry and algebra to determine RC-constructibility. 124-148
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/BoutryBN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/BoutryBN19
Pierre Boutry, Gabriel Braun, Julien Narboux:
Formalization of the arithmetization of Euclidean plane geometry and applications. 149-168

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.