default search action

combined dblp search
author search
venue search
publication search

ask others

Jonathan C. Martin

Jonathan Charles Martin

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2006
[j1]
- view
  - electronic edition @ iospress.com
  - details & citations
- export record
  dblp key:
  - journals/fuin/KingM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/KingM06
Andy King, Jonathan C. Martin:
Control Generation by Program Transformation. Fundam. Informaticae 69(1-2): 179-218 (2006)
2004
[p1]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/MartinK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/MartinK04
Jonathan C. Martin, Andy King:
On the Inference of Natural Level Mappings. Program Development in Computational Logic 2004: 432-452
2000
[b1]
- view
  - electronic edition @ bl.uk
  - details & citations
- export record
  dblp key:
  - phd/ethos/Martin00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Martin00
Jonathan Charles Martin:
Judgement day : terminating logic programs. University of Southampton, UK, 2000

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/MartinL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/MartinL99
Jonathan C. Martin, Michael Leuschel:
Sonic Partial Deduction. Ershov Memorial Conference 1999: 101-112
1997
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/MartinK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/MartinK97
Jonathan C. Martin, Andy King:
Generating Efficient, Terminating Logic Programs. TAPSOFT 1997: 273-284
1996
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/MartinKS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/MartinKS96
Jonathan C. Martin, Andy King, Paul Soper:
Typed Norms for Typed Logic Programs. LOPSTR 1996: 224-238

Coauthor Index

see FAQ

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.