Остановите войну!
for scientists:
default search action
dblp keys for Gert Smolka
- > Home > Persons > Gert Smolka
Gert Smolka
Keys
# of data records = 130
homepages/s/GertSmolka conf/cpp/0002JS23 conf/itp/0002KSW21 journals/pacmpl/RoyHSS20 journals/jar/ForsterS19 journals/jar/KirstS19 conf/cpp/0002KS19 journals/jar/DoczkalS18 conf/aplas/KunzeS018 conf/cpp/KirstS18 conf/itp/0002HS18 journals/corr/abs-1804-04967 journals/corr/abs-1806-03205 conf/RelMiCS/SchaferS17 conf/cpp/KaiserTS17 conf/itp/ForsterS17 conf/itp/KirstS17 conf/rta/KaiserPS17 journals/corr/abs-1711-07023 journals/jar/DoczkalS16 conf/cpp/SchaferSS16 conf/itp/DoczkalS16 conf/itp/SmolkaS16 journals/corr/SchneiderSH16 conf/cpp/SchaferST15 conf/itp/SchneiderSH15 conf/itp/SchaferTS15 conf/itp/SmolkaSD15 journals/corr/SchneiderSH15 journals/jar/KaminskiS14 conf/itp/DoczkalS14 conf/cpp/DoczkalKS13 conf/rta/SmolkaT13 conf/cpp/DoczkalS12 journals/corr/abs-1209-1248 journals/corr/abs-1012-0746 conf/cpp/DoczkalS11 conf/dlog/Smolka11 conf/tableaux/Kaminski0S11 journals/entcs/KaminskiS11 journals/corr/abs-1004-1947 conf/cade/KaminskiS10 conf/ifipTCS/KaminskiS10 conf/lpar/KaminskiS10 journals/corr/abs-1001-4021 journals/jolli/KaminskiS09 conf/dlog/KaminskiS09 conf/tableaux/BrownS09 conf/tableaux/KaminskiSS09 conf/tphol/BrownS09 journals/entcs/GotzmannKS10 books/daglib/0023348 conf/cade/KaminskiS08 journals/entcs/KaminskiS09 journals/tcs/NiehrenSS06 conf/cp/TackSS06 conf/flairs/DebusmannS06 journals/entcs/HardtS07 conf/frocos/NiehrenSS05 journals/entcs/TackKS06 conf/coling/DebusmannDKKST04 conf/moz/Smolka04 conf/sfp/RossbergBTBS04 journals/constraints/Smolka00 journals/njc/Smolka00 conf/esop/2000 journals/toplas/HaridiRBMSS99 conf/esop/Smolka98 journals/tcs/PodelskiS97 journals/toplas/RoyHBSMS97 conf/cap/HaridiRS97 conf/slp/Smolka97 conf/cp/1997 journals/csur/Smolka96 journals/ki/MullerS96 conf/asian/Smolka96 conf/jelia/Smolka96 journals/tcs/BackofenS95 conf/cp/PodelskiS95 conf/europar/Smolka95 conf/iclp/Smolka95 conf/iclp/PodelskiS95 conf/iclp/PodelskiS95a conf/lmo/Smolka95 books/sp/cstoday95/Smolka95 journals/jlp/SmolkaT94 journals/tcs/Ait-KaciPS94 conf/ccl/Smolka94 conf/ccl/NiehrenS94 conf/ccl/HenseS94 conf/ppcp/SchulteSW94 conf/slp/SchulteS94 journals/lncs/Smolka94 journals/corr/BackofenS94 journals/jolli/BaaderBNNS93 conf/acl/BackofenS93 conf/iclp/Smolka93 conf/ijcai/HenzSW93 conf/ki/SmolkaHW93 conf/wlp/Smolka93 conf/iclp/1993w3 journals/jlp/Smolka92 conf/fgcs/Ait-KaciPS92 conf/iclp/SmolkaT92 conf/iwar/HenseS92 books/sp/92/Smolka92 journals/ai/Schmidt-SchaussS91 conf/wclp/Smolka91 journals/lncs/NebelS91 conf/cade/MullerBNNS90 phd/Smolka89 journals/jsc/NuttRS89 journals/jsc/SmolkaA89 conf/ki/HernandezNSW89 conf/ki/Smolka89 conf/lilog/NebelS89 tr/ibm/IWBS68 tr/ibm/IWBS81 tr/ibm/IWBS93 conf/adt/Smolka88 conf/alp/Smolka88 tr/ibm/LILOG33 tr/ibm/LILOG53 conf/adt/Smolka86 books/ph/deGrootL86/Smolka86 conf/lfp/Smolka84 conf/ki/Smolka82 conf/ijcai/BlasiusESSNW81 conf/ki/SiekmannS81 conf/gi/EisingerSSUW80
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint