On existentially first-order definable languages and their relation to NP
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article (Journal) |
| Language: | English |
| Published: |
1999
|
| In: |
RAIRO. Theoretical informatics and applications
Year: 1999, Volume: 33, Issue: 3, Pages: 259-269 |
| ISSN: | 1290-385X |
| DOI: | 10.1051/ita:1999116 |
| Online Access: | Verlag, Volltext: http://dx.doi.org/10.1051/ita:1999116 |
| Author Notes: | Bernd Borchert, Dietrich Kuske and Frank Stephan |
MARC
| LEADER | 00000caa a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 1553633113 | ||
| 003 | DE-627 | ||
| 005 | 20220813133517.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 170220s1999 xx |||||o 00| ||eng c | ||
| 024 | 7 | |a 10.1051/ita:1999116 |2 doi | |
| 035 | |a (DE-627)1553633113 | ||
| 035 | |a (DE-576)483633119 | ||
| 035 | |a (DE-599)BSZ483633119 | ||
| 035 | |a (OCoLC)1340960422 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rda | ||
| 041 | |a eng | ||
| 084 | |a 27 |2 sdnb | ||
| 100 | 1 | |a Borchert, Bernd |d 1962- |e VerfasserIn |0 (DE-588)122959876 |0 (DE-627)082260656 |0 (DE-576)293495580 |4 aut | |
| 245 | 1 | 0 | |a On existentially first-order definable languages and their relation to NP |c Bernd Borchert, Dietrich Kuske and Frank Stephan |
| 264 | 1 | |c 1999 | |
| 300 | |a 11 | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 500 | |a Gesehen am 20.02.2017 | ||
| 700 | 1 | |a Kuske, Dietrich |d 1965- |e VerfasserIn |0 (DE-588)122813375 |0 (DE-627)082170576 |0 (DE-576)293431272 |4 aut | |
| 700 | 1 | |a Stephan, Frank |e VerfasserIn |0 (DE-588)1125914025 |0 (DE-627)880490810 |0 (DE-576)483630047 |4 aut | |
| 773 | 0 | 8 | |i Enthalten in |t RAIRO. Theoretical informatics and applications |d Les Ulis : EDP Sciences, 1986 |g 33(1999), 3, Seite 259-269 |h Online-Ressource |w (DE-627)302721045 |w (DE-600)1492140-6 |w (DE-576)079877125 |x 1290-385X |7 nnas |a On existentially first-order definable languages and their relation to NP |
| 773 | 1 | 8 | |g volume:33 |g year:1999 |g number:3 |g pages:259-269 |g extent:11 |a On existentially first-order definable languages and their relation to NP |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1051/ita:1999116 |x Verlag |x Resolving-System |3 Volltext |
| 951 | |a AR | ||
| 992 | |a 20170220 | ||
| 993 | |a Article | ||
| 994 | |a 1999 | ||
| 998 | |g 1125914025 |a Stephan, Frank |m 1125914025:Stephan, Frank |d 110000 |d 110300 |e 110000PS1125914025 |e 110300PS1125914025 |k 0/110000/ |k 1/110000/110300/ |p 3 |y j | ||
| 998 | |g 122959876 |a Borchert, Bernd |m 122959876:Borchert, Bernd |d 110000 |d 110300 |e 110000PB122959876 |e 110300PB122959876 |k 0/110000/ |k 1/110000/110300/ |p 1 |x j | ||
| 999 | |a KXP-PPN1553633113 |e 2954424745 | ||
| BIB | |a Y | ||
| SER | |a journal | ||
| JSO | |a {"relHost":[{"origin":[{"dateIssuedDisp":"[1986]-","publisher":"EDP Sciences ; Cambridge Univ. Press","publisherPlace":"Les Ulis ; Cambridge"}],"id":{"zdb":["1492140-6"],"eki":["302721045"],"issn":["1290-385X"]},"physDesc":[{"extent":"Online-Ressource"}],"title":[{"partname":"Theoretical informatics and applications : an international journal on theoretical computer science and its applications = Informatique théorique et applications / publ. with the support of the Centre National de la Recherche Scientifique (CNRS)","title":"RAIRO","title_sort":"RAIRO"}],"pubHistory":["Tome 20, no 1 (1986)-"],"titleAlt":[{"title":"RAIRO / Theoretical informatics and applications"},{"title":"ITA"}],"part":{"extent":"11","volume":"33","text":"33(1999), 3, Seite 259-269","issue":"3","pages":"259-269","year":"1999"},"disp":"On existentially first-order definable languages and their relation to NPRAIRO. Theoretical informatics and applications","note":["Gesehen am 28.07.2020","Fortsetzung der Druck-Ausgabe"],"type":{"bibl":"periodical","media":"Online-Ressource"},"recId":"302721045","language":["eng","fre"]}],"physDesc":[{"extent":"11 S."}],"name":{"displayForm":["Bernd Borchert, Dietrich Kuske and Frank Stephan"]},"id":{"doi":["10.1051/ita:1999116"],"eki":["1553633113"]},"origin":[{"dateIssuedDisp":"1999","dateIssuedKey":"1999"}],"recId":"1553633113","language":["eng"],"type":{"media":"Online-Ressource","bibl":"article-journal"},"note":["Gesehen am 20.02.2017"],"person":[{"family":"Borchert","given":"Bernd","roleDisplay":"VerfasserIn","display":"Borchert, Bernd","role":"aut"},{"given":"Dietrich","family":"Kuske","role":"aut","roleDisplay":"VerfasserIn","display":"Kuske, Dietrich"},{"family":"Stephan","given":"Frank","roleDisplay":"VerfasserIn","display":"Stephan, Frank","role":"aut"}],"title":[{"title":"On existentially first-order definable languages and their relation to NP","title_sort":"On existentially first-order definable languages and their relation to NP"}]} | ||
| SRT | |a BORCHERTBEONEXISTENT1999 | ||