Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Termination Portal - |
Description | Termination Portal From Termination-Portal.org (Redirected from Main Page ) Jump to navigation Jump to search Termination is a fundamental topic in comput |
Keywords | N/A |
WebSite | termination-portal.org |
Host IP | 137.226.37.212 |
Location | Germany |
Site | Rank |
US$854,569
Last updated: 2023-05-09 16:49:33
termination-portal.org has Semrush global rank of 12,385,552. termination-portal.org has an estimated worth of US$ 854,569, based on its estimated Ads revenue. termination-portal.org receives approximately 98,605 unique visitors each day. Its web server is located in Germany, with IP address 137.226.37.212. According to SiteAdvisor, termination-portal.org is safe to visit. |
Purchase/Sale Value | US$854,569 |
Daily Ads Revenue | US$789 |
Monthly Ads Revenue | US$23,665 |
Yearly Ads Revenue | US$283,980 |
Daily Unique Visitors | 6,574 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
termination-portal.org. | A | 86399 | IP: 137.226.37.212 |
termination-portal.org. | NS | 86400 | NS Record: pns.dtag.de. |
termination-portal.org. | NS | 86400 | NS Record: secondary004.dtag.net. |
Termination Portal From Termination-Portal.org (Redirected from Main Page ) Jump to navigation Jump to search Termination is a fundamental topic in computer science. While classical results state the undecidability of various termination problems, automated methods have successfully been developed that prove termination or non-termination in practical cases. Research in termination analysis offers many challenges both in theory (mathematical logic, proof theory) and practice (software development, formal methods). This portal aims to provide the research community with up-to-date information about the field of termination analysis. The main sections are People (information about researchers in termination analysis), News (information about events and new publications), Tools (information about tools for automated termination analysis), and References (publications related to termination analysis). Additionally, the portal provides information about past and future workshops and |
HTTP/1.1 301 Moved Permanently Date: Mon, 01 Nov 2021 05:14:06 GMT Server: Apache/2.4.38 (Debian) Location: http://termination-portal.org/wiki/ Content-Type: text/html; charset=iso-8859-1 HTTP/1.1 301 Moved Permanently Date: Mon, 01 Nov 2021 05:14:06 GMT Server: Apache/2.4.38 (Debian) X-Powered-By: PHP/7.4.8 X-Content-Type-Options: nosniff Vary: Accept-Encoding,Cookie Expires: Thu, 01 Jan 1970 00:00:00 GMT Cache-Control: private, must-revalidate, max-age=0 Last-Modified: Mon, 01 Nov 2021 05:14:06 GMT Location: http://termination-portal.org/wiki/Main_Page Content-Type: text/html; charset=utf-8 HTTP/1.1 200 OK Date: Mon, 01 Nov 2021 05:14:06 GMT Server: Apache/2.4.38 (Debian) X-Powered-By: PHP/7.4.8 X-Content-Type-Options: nosniff Content-language: en Vary: Accept-Encoding,Cookie Expires: Thu, 01 Jan 1970 00:00:00 GMT Cache-Control: private, must-revalidate, max-age=0 Content-Type: text/html; charset=UTF-8 |
Domain Name: TERMINATION-PORTAL.ORG Registry Domain ID: D152286254-LROR Registrar WHOIS Server: whois.registrar.telekom.de Registrar URL: http://www.registrar.telekom.de Updated Date: 2021-04-08T01:34:39Z Creation Date: 2008-04-07T13:10:25Z Registry Expiry Date: 2022-04-07T13:10:25Z Registrar: Deutsche Telekom AG Registrar IANA ID: 226 Registrar Abuse Contact Email: sece.leitstellenservice@telekom.de Registrar Abuse Contact Phone: +49.70003307345 Domain Status: ok https://icann.org/epp#ok Registrant Organization: RWTH Aachen, LuFGI2 Registrant Country: DE Name Server: PNS.DTAG.DE Name Server: SECONDARY004.DTAG.NET DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2021-09-19T14:34:35Z <<< |