Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Li-Yan Yuan

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▷ joint publications with Neng-Fa Zhou

> Home > Persons > Li-Yan Yuan

Publications

2001
[j18]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/jflp/ZhouSYY01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jflp/ZhouSYY01
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
Implementation of a Linear Tabling Mechanism. J. Funct. Log. Program. 2001(10) (2001)
[j15]
- view
  - electronic edition @ cambridge.org
  - no references & citations available
- export record
  dblp key:
  - journals/tplp/ShenYYZ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/ShenYYZ01
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou:
Linear tabulated resolution based on Prolog control strategy. Theory Pract. Log. Program. 1(1): 71-103 (2001)
2000
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/ZhouSYY00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/ZhouSYY00
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
Implementation of a Linear Tabling Mechanism. PADL 2000: 109-123
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0003046
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0003046
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou:
Linear Tabulated Resolution Based on Prolog Control Strategy. CoRR cs.AI/0003046 (2000)
1999
[c38]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/ZhouSYY99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/ZhouSYY99
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
A Linear Tabling Mechanism. ICLP 1999: 618
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/ShenYYZ99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/ShenYYZ99
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou:
Linear Tabulated Resolutions for the Well-Founded Semantics. LPNMR 1999: 192-205

a service of

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.